Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Automated Deduction in Equational Logic and Cubic Curves
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Lecture Notes in Computer Science 1095 – Lecture Notes in Artificial Intelligence
| ISBN: | 3540613986 |
|---|---|
| ISBN 13: | 9783540613985 |
| Autor: | McCune, William/Padmanabhan, R |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 238 S. |
| Erscheinungsdatum: | 12.06.1996 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Induction and Deduction in the Sciences]()
Induction and Deduction in the Sciences
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Dictator's Learning Curve]()
The Dictator’s Learning Curve
16,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 10th International Conference on Automated Deduction]()
10th International Conference on Automated Deduction
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Two-dimensional Product-cubic Systems, Vol.II]()
Two-dimensional Product-cubic Systems, Vol.II
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 28]()
Automated Deduction – CADE 28
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Relativistic Deduction]()
The Relativistic Deduction
85,55 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programming and Automated Reasoning]()
Logic Programming and Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Elliptic Curves]()
Elliptic Curves
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-20]()
Automated Deduction – CADE-20
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kants Transcendental Deduction]()
Kants Transcendental Deduction
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Zeitungsannoncen zur Verbesserung der kreativen und produktiven Fähigkeiten]()
Zeitungsannoncen zur Verbesserung der kreativen und produktiven Fähigkeiten
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Democracy]()
Automated Democracy
26,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Band Structure of Cubic Hydrides]()
Band Structure of Cubic Hydrides
246,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 5th Conference on Automated Deduction]()
5th Conference on Automated Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deduction Systems]()
Deduction Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantum Field Theory]()
Quantum Field Theory
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Deduction]()
Logic and Deduction
159,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-21]()
Automated Deduction – CADE-21
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 26]()
Automated Deduction – CADE 26
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 7th International Conference on Automated Deduction]()
7th International Conference on Automated Deduction
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-17]()
Automated Deduction – CADE-17
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cubic Fields with Geometry]()
Cubic Fields with Geometry
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Elliptic Curves]()
Elliptic Curves
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kants Deduction From Apperception]()
Kants Deduction From Apperception
159,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Natural Deduction]()
Advances in Natural Deduction
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Programming with Python]()
Programming with Python
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Dawn of Science]()
The Dawn of Science
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cubic n- Normed Linear Space]()
Cubic n- Normed Linear Space
28,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
42,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-16]()
Automated Deduction – CADE-16
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-14]()
Automated Deduction – CADE-14
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Learning Curve]()
Learning Curve
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programming and Automated Reasoning]()
Logic Programming and Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deductions-Bibliothek von Deutschland]()
Deductions-Bibliothek von Deutschland
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Foundations of Security, Protocols, and Equational Reasoning]()
Foundations of Security, Protocols, and Equational Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Programming with Python]()
Programming with Python
123,04 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cubic Forms and the Circle Method]()
Cubic Forms and the Circle Method
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Genetic Theory for Cubic Graphs]()
Genetic Theory for Cubic Graphs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Labelled Deduction]()
Labelled Deduction
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-11]()
Automated Deduction – CADE-11
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ich bin einmalig! Kannst du mich finden? Bildkartenversion-A4!]()
Ich bin einmalig! Kannst du mich finden? Bildkartenversion-A4!
23,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-19]()
Automated Deduction – CADE-19
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dice Deduction]()
Dice Deduction
17,99 €inkl. 19 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deduction, Computation, Experiment]()
Deduction, Computation, Experiment
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ich bin einmalig! Kannst du mich finden?]()
Ich bin einmalig! Kannst du mich finden?
19,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Lies]()
Automated Lies
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 'The Bell Curve' in Perspective]()
‚The Bell Curve‘ in Perspective
32,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bildsprache und Symbole in Rabindranath Tagores 'Gitanjali']()
Bildsprache und Symbole in Rabindranath Tagores ‚Gitanjali‘
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 29]()
Automated Deduction – CADE 29
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Curve Ball]()
Curve Ball
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 8th International Conference on Automated Deduction]()
8th International Conference on Automated Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: First-Order Logic and Automated Theorem Proving]()
First-Order Logic and Automated Theorem Proving
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programming and Automated Reasoning]()
Logic Programming and Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-15]()
Automated Deduction – CADE-15
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fuzzy Equational Logic]()
Fuzzy Equational Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory and Automated Deduction]()
Proof Theory and Automated Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Elliptic Curves]()
Elliptic Curves
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Band Structure of Cubic Hydrides]()
Band Structure of Cubic Hydrides
246,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Induction and Deduction in the Sciences]()
Induction and Deduction in the Sciences
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Natural Deduction]()
Advances in Natural Deduction
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Newspaper Advertisement to Enhance Creative and Productive Skills]()
Newspaper Advertisement to Enhance Creative and Productive Skills
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Entrepreneur's perception towards bankers lending criteria]()
Entrepreneur’s perception towards bankers lending criteria
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cubic Forms and the Circle Method]()
Cubic Forms and the Circle Method
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Two-dimensional Product-cubic Systems, Vol.II]()
Two-dimensional Product-cubic Systems, Vol.II
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction -- CADE-24]()
Automated Deduction — CADE-24
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Process, Testimony and Opening Argument of the Prosecution, Vote and Final Minutes]()
The Process, Testimony and Opening Argument of the Prosecution, Vote and Final Minutes
25,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CURVES Neuseeland]()
CURVES Neuseeland
19,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Relativistic Deduction]()
The Relativistic Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Imagery and Symbols in Rabindranath Tagore's 'Gitanjali']()
Imagery and Symbols in Rabindranath Tagore’s ‚Gitanjali‘
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kants Transcendental Deduction]()
Kants Transcendental Deduction
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-25]()
Automated Deduction – CADE-25
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fuzzy Equational Logic]()
Fuzzy Equational Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Social Economics of Organic Production in Columbia''s Farmer''s Market]()
Social Economics of Organic Production in Columbia“s Farmer“s Market
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Science and Spirituality]()
Science and Spirituality
23,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 30]()
Automated Deduction – CADE 30
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deductions from the World War]()
Deductions from the World War
31,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-23]()
Automated Deduction – CADE-23
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 9th International Conference on Automated Deduction]()
9th International Conference on Automated Deduction
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Labelled Deduction]()
Labelled Deduction
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sleeping Beauties in Theoretical Physics]()
Sleeping Beauties in Theoretical Physics
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 27]()
Automated Deduction – CADE 27
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cubic Soft-Rough Matrices]()
Cubic Soft-Rough Matrices
26,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Foundations of Equational Logic Programming]()
Foundations of Equational Logic Programming
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Right Living in Modern Society]()
Right Living in Modern Society
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programming and Automated Reasoning]()
Logic Programming and Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Industrial Instrumentation]()
Industrial Instrumentation
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Equational grammar]()
Equational grammar
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Explanation, Causation and Deduction]()
Explanation, Causation and Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-18]()
Automated Deduction – CADE-18
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Industrial Instrumentation]()
Industrial Instrumentation
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interpolating Cubic Splines]()
Interpolating Cubic Splines
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Canonical Equational Proofs]()
Canonical Equational Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
