Name: Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings ... Notes in Computer Science (2250), Band 2250)
Brand: Robert Nieuwenhuis
SKU: ID12578859
Availability: InStock

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings ... Notes in Computer Science (2250), Band 2250)

95.70 EUR 19% Off 118.00 EUR

Ein Sammelband aus der achten LPAR-Konferenz in Havanna, der neue Ansätze zur logischen Programmierung, KI und formalen Argumentation präsentiert; praxisnahe Fallstudien und theoretische Fortschritte werden beleuchtet.

Marke: Robert Nieuwenhuis

MPN: 1

ISBN: 3540429573