Könyv Artificial Intelligence and Symbolic Computation Jacques Calmet

Artificial Intelligence and Symbolic Computation

International Symposium, AISC '98, Plattsburgh, New York, USA, September 16-18, 1998. Proceedings

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 173 Ft
This book constitutes the refereed proceedings of the International Conference on Artificial Intelli...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1998
oldal
316
EAN
9783540649601
ISBN
3540649603
Enbook ID
05274871
Súly
430
Méretek
156 x 234 x 17

Teljes leírás

This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery.

Érdekelheti

Super Agers

Eric Topol
6 594 Ft
5 886 Ft

Socdem

Benjamin T. Tolosa
18 100 Ft

Soaring with the Eagles

Kenneth W. Hagin
5 307 Ft
2 921 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Body Secrets, 2 DVDs

Marcus Schenkenberg
6 679 Ft

Fulla

Katarína Bajcurová
27 178 Ft