Produktbild: First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

Lieferzeit: Lieferbar innerhalb 14 Tagen

96,29 €

inkl. 7 % MwSt. zzgl. Versandkosten

Texts in Computer Science

ISBN:	1461275156
ISBN 13:	9781461275152
Autor:	Fitting, Melvin
Verlag:	Springer Verlag GmbH
Umfang:	xviii, 326 S.
Erscheinungsdatum:	26.06.2013
Auflage:	2/2013
Produktform:	Kartoniert
Einband:	Kartoniert

Artikelnummer: 5902618 Kategorie: Informatik

Beschreibung

Beschreibung

This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics.

Herstellerkennzeichnung:

Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …

Der Reichs-Civilproceß
129,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Zur Geschichte der Rechtswissenschaft am Anfange des Mittelalters
11,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Mechanical Geometry Theorem Proving
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Theorem Proving
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Types, Tableaus, and Gödels God
117,69 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilprocess.Lehrbuch d.bürgerl.Verfahrens nach d.Civilprocessordnung f.d.Dt.Reich u.d.erg.Reichsgesetzen
119,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das Reichs-Concursrecht und Concursverfahren
169,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Reading, Writing, and Proving
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
109,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
249,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das Reichs-Concursrecht und Concursverfahren
129,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
First-Order Modal Logic
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
249,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Theorem Proving
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilprocess,
26,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Higher Order Logic Theorem Proving and Its Applications
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Theorem Proving and Program Development
90,94 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Utopian Effects, Dystopian Pleasures
58,80 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Biswas Theorem
61,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Theorem Proving
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
D.Reichs-Civilprozeß
149,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
109,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
214,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Using Sophisticated Models in Resolution Theorem Proving
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das letzte Theorem
9,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proof and Proving in Mathematics Education
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Theorem Proving
54,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Proving Ground
16,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das castrense peculium in seiner geschichtlichen Entwickelung und heutigen gemeinrechtlichen Geltung
89,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Analogieverbot und Kontinuität.
79,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
229,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Noether’s Theorem
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Theorem Proving in Higher Order Logics
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Brooks‘ Theorem
181,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Kneser’s Theorem
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
First Order-Logic
84,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Zur Geschichte der Rechtswissenschaft am Anfange des Mittelalters
32,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
219,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Die Anfänge der Rechtsschule zu Bologna
109,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Brooks‘ Theorem
181,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Theorem Proving with the Real Numbers
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Theorem Proving in Higher Order Logics
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
119,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
109,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Higher Order Logic Theorem Proving and Its Applications
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Die Neuerungen der Novelle zur Civilprozeßordnung vom 1.Juni 1909 …
109,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proof Methods for Modal and Intuitionistic Logics
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modelling Puzzles in First Order Logic
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Programming and Automated Reasoning
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
219,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Theorem Proving
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proof and Proving in Mathematics Education
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Theorem Proving in Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Theorem des Todes
20,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
119,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Theorem Proving in Higher Order Logics
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
119,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Intensional First-Order Logic
179,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Theorem Proving
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Higher Order Logic Theorem Proving and Its Applications
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Theorem Proving
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Theorem Proving
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das Reichs-Concursrecht und Concursverfahren
169,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Theorem Proving in Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das Reichs-Concursrecht und Concursverfahren
139,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Theorem Proving in Higher Order Logics
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proof Methods for Modal and Intuitionistic Logics
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Africa and the First World War
80,24 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Juristische Schriften des früheren Mittelalters: Aus Handschriften
69,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Theorem Proving
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
First-Order Logic
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das castrense peculium in seiner geschichtlichen Entwickelung und heutigen gemeinrechtlichen Geltung
109,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
First-Order Modal Logic
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Theorem Proving
96,29 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Programming and Automated Reasoning
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Mechanical Theorem Proving in Geometries
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Current Trends in Hardware Verification and Automated Theorem Proving
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Die Entbehrlichkeit der beabsichtigten Novelle zur Civilproceßordnung
109,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Theorem Proving in Higher Order Logics
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Programming and Automated Reasoning
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
69,54 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
219,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Über die Heimat und das Alter des sogenannten Brachylogus
109,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das Reichs-Konkursrecht
154,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Theorem Proving and Program Development
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Mechanical Geometry Theorem Proving
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proving It Her Way
37,44 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Proving Ground
24,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Programming and Automated Reasoning
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Über die sogenannte Turiner Institutionenglosse und den sogenannten Brachylogus
16,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Juristische Schriften des früheren Mittelalters: Aus Handschriften
49,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Reichs-Civilproceß
109,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Theorem Proving with Analytic Tableaux and Related Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das Reichs-Concursrecht und Concursverfahren
139,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Theorem Proving
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Zur Einführung in die Reichs-Gerichtsverfassung und den Reichs-Civilproceß
109,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Theorem Proving in Higher Order Logics
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Theorem Proving with Analytic Tableaux and Related Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Theorem Proving
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Types, Tableaus, and Gödels God
117,69 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb

Produktbild: First-Order Logic and Automated Theorem Proving

Sie sehen: First-Order Logic and Automated Theorem Proving 96,29 €

In den Warenkorb