Buch, Taschenbuch
Versandfertig in 1-2 Wochen
49,00 €

Über Logic for Programming, Artificial Intelligence, and Reasoning

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.

Sprache:
Englisch

ISBN:
9783540000105

Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Einband:
Taschenbuch

Seitenzahl:
470

Veröffentlicht:
2. Oktober 2002

Ausgabe:
2002

Abmessungen:
234x156x24 mm.

Gewicht:
1490 g.

49,00 € inkl. MwSt.
~~53,49 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Beschreibung von Logic for Programming, Artificial Intelligence, and Reasoning

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.

Kund*innenbewertungen von Logic for Programming, Artificial Intelligence, and Reasoning

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Logic for Programming, Artificial Intelligence, and Reasoning ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Logic for Programming, Artificial Intelligence, and Reasoning

Beschreibung von Logic for Programming, Artificial Intelligence, and Reasoning

Kund*innenbewertungen von Logic for Programming, Artificial Intelligence, and Reasoning

Willkommen bei den Tales Buchfreunden und -freundinnen