logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence) - Ulrich Furbach, Anil Nerode
Add cover
Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)
by: (author) (author)
Format: kindle
ASIN: B000VI12IA
Publisher: Springer
Pages no: 461
Edition language: English
Bookstores:
Books by Ulrich Furbach
Automated Reasoning: Third International Joint Conference, Ijcar 2006, Seattle, Wa, USA, August 17-20, 2006, Proceedings - Ulrich Furbach
Logic Programming and Nonmonotonic Reaso... Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence) - Ulrich Furbach, Anil Nerode
Irobot - Uman: Kunstliche Intelligenz Un... Irobot - Uman: Kunstliche Intelligenz Und Kultur: Eine Jahrtausendealte Beziehungskiste - Ulrich Furbach
KI 2005: Advances in Artificial Intelligence: 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence) - Ulrich Furbach
Books by Anil Nerode
Handbook of Recursive Mathematics, Volum... Handbook of Recursive Mathematics, Volume 2: Recursive Algebra, Analysis and Combinatorics. Studies in Logic and the Foundations of Mathematics, Volume 139. - Y L Ershov, S S Goncharov, Anil Nerode, J B Remmel
Hybrid Systems II - Anil Nerode
Hybrid Systems - Robert L. Grossman, Anil Nerode
Logic Programming And Nonmonotonic Reaso... Logic Programming And Nonmonotonic Reasoning: Third International Conference, Lpnmr '95, Lexington, Ky, Usa, June 24 26, 1995: Proceedings - V. W. Marek, Anil Nerode
Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings - Sergei Artemov, Anil Nerode
Handbook of Recursive Mathematics: Volum... Handbook of Recursive Mathematics: Volume 1; Recursive Model Theory. Studies in Logic and the Foundations of Mathematics, Volume 138. - Y L Ershov, S S Goncharov, Anil Nerode, J B Remmel
Logic Programming and Nonmonotonic Reaso... Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence) - Ulrich Furbach, Anil Nerode
Logical Foundations of Computer Science: Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings - Anil Nerode
Logic for Applications - Anil Nerode
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings - Anil Nerode, M. Taitslin
Share this Book
Copyright © 2024 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.