Produktbild: 10th International Conference on Automated Deduction

10th International Conference on Automated Deduction

Lieferzeit: Lieferbar innerhalb 14 Tagen

149,79 €

inkl. 7 % MwSt. zzgl. Versandkosten

Kaiserslautern, FRG, July 24-27,1990.Proceedings, Lecture Notes in Computer Science 449 – Lecture Notes in Artificial Intelligence

ISBN:	3540528857
ISBN 13:	9783540528852
Herausgeber:	Mark E Stickel
Verlag:	Springer Verlag GmbH
Umfang:	xviii, 690 S.
Erscheinungsdatum:	17.07.1990
Produktform:	Kartoniert
Einband:	Kartoniert

Artikelnummer: 1483983 Kategorie: Informatik

Beschreibung

Beschreibung

Proceedings of CADE-10. CADE is the major forum for research on all aspects of automated deduction. The CADE conferences have no peer in the concentration and quality of their automated deduction research contributions.

Herstellerkennzeichnung:

Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …

Proceedings of the 10th International Conference on Maintenance and Rehabilitation of Pavements
374,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction in Geometry
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of 10th International Conference on Mechatronics and Control Engineering
192,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Energy Engineering and Environmental Engineering
299,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Rotor Dynamics – IFToMM
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
10th International Conference on the Development of Biomedical Engineering in Vietnam
299,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of 10th International Conference on Recent Advances in Civil Aviation
171,19 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of 10th International Conference on Building Materials and Construction
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Maintenance and Rehabilitation of Pavements
235,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE 27
85,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE-14
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE-19
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Rotor Dynamics – IFToMM
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of 10th International Kimberlite Conference
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Maintenance and Rehabilitation of Pavements
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
10th EAI International Conference on Management of Manufacturing Systems
235,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
10th International Conference on FRP Composites in Civil Engineering
641,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE 26
85,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE-20
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE-21
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Labelled Deduction
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
10th International Conference on the Development of Biomedical Engineering in Vietnam
299,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the Joint International Conference: 10th Textile Conference and 4th Conference on Engineering and Entrepreneurship
235,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Labelled Deduction
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Energy Engineering and Environmental Engineering
299,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE 28
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE-18
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Deductions from the World War
31,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction — CADE-24
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Rotor Dynamics – IFToMM
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of 10th International Conference on Chemical Science and Engineering
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Relativistic Deduction
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Relativistic Deduction
85,55 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Ergonomics Conference
235,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE-17
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Rotor Dynamics – IFToMM
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Deduction Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Kants Transcendental Deduction
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
10th International Conference on Robotics, Vision, Signal Processing and Power Applications
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Maintenance and Rehabilitation of Pavements
374,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE-16
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction in Geometry
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
10th Anniversary
9,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Rotor Dynamics – IFToMM
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the Joint International Conference: 10th Textile Conference and 4th Conference on Engineering and Entrepreneurship
235,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction in Geometry
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Dice Deduction
17,99 €
inkl. 19 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE-15
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
10th International Conference on Soft Computing Models in Industrial and Environmental Applications
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Rotor Dynamics – IFToMM
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
10th International Conference on Robotics, Vision, Signal Processing and Power Applications
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
10th Anniversary
16,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Deductions-Bibliothek von Deutschland
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction in Geometry
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proof Theory and Automated Deduction
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Fracture Fatigue and Wear
267,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of 10th International Conference on Coastal and Ocean Engineering
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of 10th International Conference on Coastal and Ocean Engineering
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE 30
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The 10th International Conference on Advances in Construction Machinery and Vehicle Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
8th International Conference on Automated Deduction
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
9th International Conference on Automated Deduction
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Deduction, Computation, Experiment
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction in Geometry
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Advances in Natural Deduction
139,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
10th International Conference on Vibration Measurements by Laser and Noncontact Techniques
171,15 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Industrial Engineering
299,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction in Geometry
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
5th Conference on Automated Deduction
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Rotor Dynamics – IFToMM
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE-25
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE 29
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE-23
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
7th International Conference on Automated Deduction
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of 10th International Kimberlite Conference
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction in Geometry
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The 10th International Conference on Computer Engineering and Networks
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Rotor Dynamics – IFToMM
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on the Properties of Steam
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE-11
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Advances in Natural Deduction
139,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
10th International Conference on FRP Composites in Civil Engineering
641,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Mechanical, Automotive and Materials Engineering
246,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of 10th International Kimberlite Conference
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Mechanical, Automotive and Materials Engineering
246,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Kants Transcendental Deduction
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The 10th International Conference on Engineering, Project, and Production Management
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic and Deduction
159,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Civil Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction in Equational Logic and Cubic Curves
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Kants Deduction From Apperception
159,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction in Geometry
42,80 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The 10th International Conference on Engineering, Project, and Production Management
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Water Resource and Environment
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Computer Recognition Systems CORES 2017
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Explanation, Causation and Deduction
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
10th International Conference on Practical Applications of Computational Biology & Bioinformatics
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Movement, Health and Exercise
299,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Automated Deduction in Geometry
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 10th International Conference on Civil Engineering
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb

Produktbild: 10th International Conference on Automated Deduction

Sie sehen: 10th International Conference on Automated Deduction 149,79 €

In den Warenkorb