logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Meta-Logics and Logic Programming - Krzysztof R. Apt, Franco Turini
Add cover
Meta-Logics and Logic Programming
by: (author) (author)
Format: paperback
ISBN: 9780262511681 (0262511681)
Publisher: MIT Press (MA)
Pages no: 350
Edition language: English
Bookstores:
Books by Krzysztof R. Apt
Verification of Sequential and Concurrent Programs (Texts in Computer Science) - Krzysztof R. Apt, Ernst-Rxfcdiger Olderog
Logic Programming Languages: Constraints, Functions, and Objects - Krzysztof R. Apt, J. W. de Bakker, J. M. Rutten
New Trends In Constraints: Joint Ercim/Compulog Net Workshop, Paphos, Cyprus, October 25 27, 1999: Selected Papers - Krzysztof R. Apt
From Logic Programming to PROLOG - Krzysztof R. Apt
Lectures in Game Theory for Computer Scientists - Krzysztof R. Apt, Erich Gradel
Recent Advances in Constraints: Joint ER... Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, ... / Lecture Notes in Artificial Intelligence) - Krzysztof R. Apt, François Fages, Francesca Rossi, Peter Szeredi, Josef Vxe1ncza
Constraint Logic Programming Using Eclipse - Krzysztof R. Apt, Mark Wallace
Principles of Constraint Programming - Krzysztof R. Apt
New Perspectives on Games and Interaction - Krzysztof R. Apt, Robert van Rooij
Verification of Sequential and Concurren... Verification of Sequential and Concurrent Programs - Krzysztof R Apt, Frank S De Boer, Ernst-R Diger Olderog
Books by Franco Turini
Logic Program Synthesis And Transformati... Logic Program Synthesis And Transformation Meta Programming In Logic: 4th International Workshops, Lopstr '94 And Meta '94, Pisa, Italy, June 20 20, 1994: Proceedings - Laurent Fribourg, Franco Turini
AI*IA 2003: Advances in Artificial Intel... AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, ... / Lecture Notes in Artificial Intelligence) - Amedeo Cappelli, Franco Turini
Meta-Logics and Logic Programming - Krzy... Meta-Logics and Logic Programming - Krzysztof R. Apt, Franco Turini
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, ... (Lecture Notes in Computer Science) - Laurent Fribourg, Franco Turini
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, Lopstr '94 and Meta '94, Pisa, Italy, June 20 - 21, 1994. Proceedings - Laurent Fribourg, Franco Turini
Share this Book
Copyright © 2025 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.