Logic for programming, artificial intelligence, and reasoning [E-Book] : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / ed. by I. Cervesato ...
Cervesato, I., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540894384
9783540894391 (e-book)
Lecture notes in computer science ; 5330
Full Text
Description not available.