Correct reasoning : essays on logic-based AI in honour of Vladimir Lifschitz (e-book)

Correct reasoning : essays on logic-based AI in honour of Vladimir Lifschitz (e-book) - - Berlin Springer 2012 - - Lecture notes in computer science ; v.7265 .

978-3-642-30743-0



Computer Science and Engineering
Logic programming , Artificial intelligence

Powered by Koha