Join Books.org — it's free
Home > Books > Logic

Logic, Artificial Intelligence - General, Logic & Foundations of Mathematics, General & Miscellaneous Computing
Logic by Volker Sperschneider,Grigorios Antoniou — book cover

Logic

by Volker Sperschneider, Grigorios Antoniou
Write a review
Log in to track your reading progress.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published
July 1, 1991
Publisher
Wokingham, England ; Addison-Wesley, c1991.
Pages
495
Format
Paperback
ISBN
9780201565140

Similar books

Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus 'The Secrets of Enigma'
Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus 'The Secrets of Enigma'
The Essential Turing: Seminal Writings in Computing. Logic, Philosophy, Artifical Intelligence, and Artificial Life plus The Secrets of Enigma
The Essential Turing: Seminal Writings in Computing. Logic, Philosophy, Artifical Intelligence, and Artificial Life plus The Secrets of Enigma
Learning and Modeling with Probabilistic Conditional Logic
Learning and Modeling with Probabilistic Conditional Logic
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Logic in Artificial Intelligence and Logic Programming, Vol. 5
Logic in Artificial Intelligence and Logic Programming, Vol. 5
Logic in Artificial Intelligence and Logic Programming: Deduction Methodologies
Logic in Artificial Intelligence and Logic Programming: Deduction Methodologies
Logic in Artificial Intelligence and Logic Programming: Nonmonotonic Reasoning and Uncertain Reasoning, Vol. 3
Logic in Artificial Intelligence and Logic Programming: Nonmonotonic Reasoning and Uncertain Reasoning, Vol. 3
Induction: Processes of Inference, Learning, and Discovery
Induction: Processes of Inference, Learning, and Discovery
Resolution Proof Systems
Resolution Proof Systems
Artificial Intelligence and Symbolic Computation: International Conference AISC 2000, Madrid, Spain, July 17-19, 2000, Revised Papers
Artificial Intelligence and Symbolic Computation: International Conference AISC 2000, Madrid, Spain, July 17-19, 2000, Revised Papers