2000, ISBN: 3540671900
[EAN: 9783540671909], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], BEGRÜNDUNG / BEWEIS; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE CLASSICALLOGIC; MODALLOGI… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783540671909
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.F… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
1998, ISBN: 9783540671909
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.F… Mehr…
BetterWorldBooks.com used in stock. Versandkosten:zzgl. Versandkosten. Details... |
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science, 1761) - Taschenbuch
2000, ISBN: 9783540671909
Springer, 2000-02-09. Paperback. New. New. In shrink wrap. Looks like an interesting title!, Springer, 2000-02-09, 6
Biblio.co.uk |
2000, ISBN: 9783540671909
Trade paperback, New., Trade paperback (US). Glued binding. 304 p., Berlin, Heidelberg, [PU: Springer]
alibris.co.uk |
2000, ISBN: 3540671900
[EAN: 9783540671909], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], BEGRÜNDUNG / BEWEIS; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE CLASSICALLOGIC; MODALLOGI… Mehr…
ISBN: 9783540671909
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.F… Mehr…
1998
ISBN: 9783540671909
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.F… Mehr…
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science, 1761) - Taschenbuch
2000, ISBN: 9783540671909
Springer, 2000-02-09. Paperback. New. New. In shrink wrap. Looks like an interesting title!, Springer, 2000-02-09, 6
2000, ISBN: 9783540671909
Trade paperback, New., Trade paperback (US). Glued binding. 304 p., Berlin, Heidelberg, [PU: Springer]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Automated Deduction in Classical and Non-Classical Logics: Selected Papers Ricardo Caferra Editor
EAN (ISBN-13): 9783540671909
ISBN (ISBN-10): 3540671900
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Springer Berlin Heidelberg Core >1
312 Seiten
Gewicht: 0,474 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-01-02T07:29:57+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-10-10T07:09:03+02:00 (Zurich)
ISBN/EAN: 9783540671909
ISBN - alternative Schreibweisen:
3-540-67190-0, 978-3-540-67190-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: caf, salzer, ricardo, gernot, siekmann
Titel des Buches: deduction, classical papers, class, 1001 classical, deductio, non classical logic, what logics mean, lecture notes artificial intelligence, computer, classical and nonclassical logics
Daten vom Verlag:
Autor/in: Ricardo Caferra; Gernot Salzer
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Automated Deduction in Classical and Non-Classical Logics - Selected Papers
Verlag: Springer; Springer Berlin
304 Seiten
Erscheinungsjahr: 2000-02-09
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Gewicht: 0,480 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
VIII, 304 p.
BC; Artificial Intelligence; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Classical Logic; Modal Logics; Nonclassical Logics; Resolution; Tableaux-Based Inference; Theorem Proving; Variable; automated deduction; automated theorem proving; complexity; description logics; logic; proving; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Theoretische Informatik; EA
Invited Papers.- Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory.- Higher-Order Modal Logic—A Sketch.- Proving Associative-Commutative Termination Using RPO-Compatible Orderings.- Decision Procedures and Model Building or How to Improve Logical Information in Automated Deduction.- Replacement Rules with Definition Detection.- Contributed Papers.- On the Complexity of Finite Sorted Algebras.- A Further and Effective Liberalization of the ?-Rule in Free Variable Semantic Tableaux.- A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory.- Interpretation of a Mizar-Like Logic in First Order Logic.- An ((n · log n)3)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic.- Implicational Completeness of Signed Resolution.- An Equational Re-engineering of Set Theories.- Issues of Decidability for Description Logics in the Framework of Resolution.- Extending Decidable Clause Classes via Constraints.- Completeness and Redundancy in Constrained Clause Logic.- Effective Properties of Some First Order Intuitionistic Modal Logics.- Hidden Congruent Deduction.- Resolution-Based Theorem Proving for SH n-Logics.- Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized ?-Rule but Without Skolemization.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540465089 Automated Deduction in Classical and Non-Classical Logics (Ricardo Caferra; Gernot Salzer)
< zum Archiv...