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)

Ein Sammelband aus der achten LPAR-Konferenz in Havanna, der aktuelle Forschung zu logischer Programmierung, KI und formalen Argumentationssystemen zu ...

Allgemein

Marke
Robert Nieuwenhuis
MPN
Robert Nieuwenhuis 1
ISBN
Robert Nieuwenhuis 3540429573

Eigenschaften

Menü