Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998 Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - Jan Plaza - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540649601 - 1998. gada 2. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998 Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 25. sept. - . gada 5. okt.
Saņemiet paziņojumus par jauniem Jan Plaza izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

The papers in this volume address aspects of symbolic computation and formal reasoning such as: inductive logic programming; context reasoning; computer algebra; proof theory and theorem proving; algebraic manipulation; formal verification; constraint solving; and knowledge discovery.


328 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1998. gada 2. septembris
ISBN13 9783540649601
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 328
Izmēri 156 × 234 × 17 mm   ·   458 g
Valoda Vācu  
Redaktors Calmet, Jacques C.
Redaktors Plaza, Jan

Vairāk no tā paša izdevēja

Skatīt visus Jan Plaza