- 5 Ergebnisse
Kleinster Preis: € 19,62, größter Preis: € 72,89, Mittelwert: € 52,01
1
Automated Deduction in Classical and Non-Classical Logics : Selected Papers - Gernot Salzer
Bestellen
bei ZVAB.com
€ 52,46
Versand: € 0,001
Bestellengesponserter Link
Gernot Salzer:

Automated Deduction in Classical and Non-Classical Logics : Selected Papers - Taschenbuch

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…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Automated Deduction in Classical and Non-Classical Logics: Selected Papers Ricardo Caferra Editor
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellengesponserter Link
Automated Deduction in Classical and Non-Classical Logics: Selected Papers Ricardo Caferra Editor - neues Buch

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…

new in stock. Versandkosten:zzgl. Versandkosten.
3
Automated Deduction in Classical and Non-Classical Logics : Selected Papers
Bestellen
bei BetterWorldBooks.com
€ 19,62
Bestellengesponserter Link
Automated Deduction in Classical and Non-Classical Logics : Selected Papers - gebrauchtes Buch

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…

used in stock. Versandkosten:zzgl. Versandkosten.
4
Bestellen
bei Biblio.co.uk
$ 80,25
(ca. € 72,89)
Versand: € 16,571
Bestellengesponserter Link
Caferra, Ricardo [Editor]; Salzer, Gernot [Editor];:
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

Versandkosten: EUR 16.57 GridFreed LLC
5
Bestellen
bei alibris.co.uk
€ 60,08
Bestellengesponserter Link
Caferra, Ricardo (Editor), and Salzer, Gernot (Editor):
Automated Deduction in Classical and Non-Classical Logics: Selected Papers - Taschenbuch

2000, ISBN: 9783540671909

Trade paperback, New., Trade paperback (US). Glued binding. 304 p., Berlin, Heidelberg, [PU: Springer]

Versandkosten:zzgl. Versandkosten Sparks, NV, Alibris

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Automated Deduction in Classical and Non-Classical Logics: Selected Papers Ricardo Caferra Editor

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.Five invited papers by prominent researchers give a consolidated view of the recent developments in first-order theorem proving. The 14 research papers presented went through a twofold selection process and were first presented at the International Workshop on First-Order Theorem Proving, FTP'98, held in Vienna, Austria, in November 1998. The contributed papers reflect the current status in research in the area; most of the results presented rely on resolution or tableaux methods, with a few exceptions choosing the equational paradigm.

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...