Logic for Programming, Artificial Intelligence, and Reasoning 1

Data & IT

Logic for Programming, Artificial Intelligence, and Reasoning

Matthias Baaz • Andrei Voronkov

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

470 sidor
2002

Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning.

Författare: Matthias Baaz, Andrei Voronkov
Illustratör: Zahlr GrafUTab
Format: Pocket/Paperback
ISBN: 9783540000105
Språk: Engelska
Antal sidor: 470
Utgivningsdatum: 2002-10-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K