Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Logic for Programming, Artificial Intelligence, and Reasoning

- 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Über Logic for Programming, Artificial Intelligence, and Reasoning

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783540305538
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 744
  • Veröffentlicht:
  • 24. November 2005
  • Ausgabe:
  • 2005
  • Abmessungen:
  • 234x156x38 mm.
  • Gewicht:
  • 2320 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Logic for Programming, Artificial Intelligence, and Reasoning

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

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



Ähnliche Bücher finden
Das Buch Logic for Programming, Artificial Intelligence, and Reasoning ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.