Order Total (1 Item Items):
Shipping Destination:
Automated Deduction Basis Applications (75 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (75)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (66)
- As New, Fine or Near Fine (8)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (34)
- Not Print on Demand (45)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Automated Deduction - A Basis for Applications, Volume III Applications.
Published by Kluwer Academic Publishers, 1998
ISBN 10: 0792351312 ISBN 13: 9780792351313
Language: English
£ 42.28
Convert currency£ 31.40 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketgebundene Ausgabe. Condition: Sehr gut. Hier nur Volume III. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 334 Seiten, Englisch 670g.
-
Automated Deduction - A Basis for Applications, Volume II Systems and Implementation Techniques.
Published by Kluwer Academic Publishers, 1998
ISBN 10: 0792351304 ISBN 13: 9780792351306
Language: English
£ 44.98
Convert currency£ 31.40 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketgebundene Ausgabe. Condition: Gut. Hier nur Volume II. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Ehemaliges Bibliotheksexemplar, mit Schildchen auf dem Buchrücken, mit Stempel auf dem Buchschnitt. Buchrücken leicht bestoßen. XIV, 434 Seiten, Englisch 856g.
-
Automated Deduction - A Basis for Applications, Volume I Foundations - Calculi and Methods.
Published by Kluwer Academic Publishers, 1998
ISBN 10: 0792351290 ISBN 13: 9780792351290
Language: English
£ 53.97
Convert currency£ 31.40 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketgebundene Ausgabe. Condition: Sehr gut. Hier nur Volume I. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XX, 480 Seiten, Englisch 940g.
-
Condition: New.
-
Condition: New.
-
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 134.13
Convert currency£ 11.98 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Automated Deduction: A Basis for Applications, Vol. 3: Applications (Applied Logic Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 134.13
Convert currency£ 11.98 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Published by Springer Netherlands, 2010
ISBN 10: 9048150523 ISBN 13: 9789048150526
Language: English
£ 122.48
Convert currency£ 42.79 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Published by Springer Netherlands, 1998
ISBN 10: 0792351312 ISBN 13: 9780792351313
Language: English
£ 122.48
Convert currency£ 42.79 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketGebunden. Condition: New.
-
Condition: New.
-
Condition: New.
-
Condition: New.
-
Condition: New.
-
Condition: New.
-
Condition: New.
-
Condition: New. pp. 348.
-
£ 126.88
Convert currency£ 61.14 shipping from Germany to U.S.A.Quantity: 5 available
Add to basketTaschenbuch. Condition: Neu. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | P. H. Schmitt (u. a.) | Taschenbuch | xii | Englisch | 2010 | Springer | EAN 9789048150526 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Published by Springer Netherlands, Springer Netherlands Jun 1998, 1998
ISBN 10: 0792351312 ISBN 13: 9780792351313
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 144.37
Convert currency£ 52.40 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketBuch. Condition: Neu. Neuware -We are invited to deal with mathematical activity in a sys tematic way [ . ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.
-
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 184.13
Convert currency£ 11.98 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 8)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 184.13
Convert currency£ 11.98 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 9)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 184.13
Convert currency£ 11.98 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 183.84
Convert currency£ 15 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Published by Springer Netherlands, Springer Netherlands, 2010
ISBN 10: 9048150523 ISBN 13: 9789048150526
Language: English
£ 149.89
Convert currency£ 54.71 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - We are invited to deal with mathematical activity in a sys tematic way [ . ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today.
-
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Published by Springer Netherlands, Springer Netherlands, 1998
ISBN 10: 0792351312 ISBN 13: 9780792351313
Language: English
£ 151.78
Convert currency£ 55.46 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - We are invited to deal with mathematical activity in a sys tematic way [ . ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today.
-
£ 197.63
Convert currency£ 12.50 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 346 pages. 9.25x6.10x0.80 inches. In Stock.
-
£ 191
Convert currency£ 25 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
£ 167.82
Convert currency£ 61.14 shipping from Germany to U.S.A.Quantity: 5 available
Add to basketTaschenbuch. Condition: Neu. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | P. H. Schmitt (u. a.) | Taschenbuch | xiv | Englisch | 2010 | Springer Netherland | EAN 9789048150519 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
£ 167.82
Convert currency£ 61.14 shipping from Germany to U.S.A.Quantity: 5 available
Add to basketTaschenbuch. Condition: Neu. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | P. H. Schmitt (u. a.) | Taschenbuch | xx | Englisch | 2010 | Springer Netherland | EAN 9789048150502 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Condition: New. pp. 452.
-
Condition: New. pp. 356.
