Von dem Buch Handbook of Automated Reasoning: 001 (Handbook of Automated Reasoning) haben wir 7 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Alan Robinson, Andrei Voronkov, a cura di: Andrei Voronkov, a cura di: J. A. Robinson: Handbook of Automated Reasoning: 001 (Handbook of Automated Reasoning) (ISBN: 9780444829498) 2001, Erstausgabe, in Englisch, Band: 1, Broschiert.Nur diese Ausgabe anzeigen…
59%: Robinson, Alan (Editor), and Voronkov, A, and Voronkov, Andrei (Editor): Handbook of Automated Reasoning: Vol 2 (Hardback) (ISBN: 9780444508126) 2001, in Englisch, Band: 2, Broschiert.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
58%: Robinson, J, and Robinson, J Alan (Editor), and Voronkov, Andrei: Handbook of Automated Reasoning, Vol. 1 (Volume 1) (ISBN: 9780262182218) 2001, MIT Press (MA), in Englisch, Band: 1, Broschiert.Nur diese Ausgabe anzeigen…
55%: Robinson, Alan J.A. Andrei Voronkov: Handbook of Automated Reasoning (ISBN: 9780080532790) 2001, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
52%: Robinson, J. A. (Editor)/ Robinson, Alan (Editor)/ Voronkov, Andrei (Editor): Handbook of Automated Reasoning ( Volume 1 & 2 Set ) (ISBN: 9780444508133) 2001, Erstausgabe, in Englisch, Broschiert.Nur diese Ausgabe anzeigen…
![Handbook of Automated Reasoning VOLUME II [This Volume ONLY]](/c-9780262182225-3.jpg){kind=small}
45%: Robinson, J Alan (Editor), and Voronkov, Andrei (Editor): Handbook of Automated Reasoning VOLUME II [This Volume ONLY] (ISBN: 9780262182225) 2001, The MIT Press, in Englisch, Broschiert.Nur diese Ausgabe anzeigen…
33%: Robinson, J. A. (Edt)/ Voronkov, Andrei (Edt)/ Robinson, Alan (Edt): Handbook of Automated Reasoning Format: Hardcover (ISBN: 9780262182232) 2001, The MIT Press, 2. Ausgabe, in Englisch, Band: 2, Broschiert.Nur diese Ausgabe anzeigen…
Handbook of Automated Reasoning: 001 (Handbook of Automated Reasoning)
15 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 |
|---|---|---|---|
| Schnitt | € 170,18 | € 160,40 | € 237,76 |
| Nachfrage |
1
Symbolbild
Handbook of Automated Reasoning
EN HC NWISBN: 9780444829498 bzw. 0444829490, in Englisch, North-Holland, gebundenes Buch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Hardcover. 996 pages. Dimensions: 9.6in. x 6.6in. x 2.4in.This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Hardcover. 996 pages. Dimensions: 9.6in. x 6.6in. x 2.4in.This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
2
Handbook of Automated Reasoning
EN NWISBN: 9780444508126 bzw. 0444508120, in Englisch, North-Holland, neu.
Lieferung aus: Niederlande, Lagernd.
Reasoning & Artificial Intelligence, Expert Systems and Knowledge-Based Systems & Mathematical Logic and Foundations & Logics and Meanings of Programs & ENGENHARIA - TEMAS ATUAIS & Reasoning & Artificial Intelligence, Expert Systems and Knowledge-Based Systems & Logics and Meanings of Programs & Mathematical Logic and Foundations & Computer Science, Part V. Higher-order logic and logical frameworks. Chapter 15. Classical Type Theory (Peter B. Andrews). 1. Introduction to type theory. 2. Metatheoretical foundations. 3. Proof search. 4. Conclusion. Bibliography. Index. Chapter 16. Higher-Order Unification and Matching (Gilles Dowek). 1. Type Theory and Other Set Theories. 2. Simply Typed &lgr;-calculus. 3. Undecidability. 4. Huet's Algorithm. 5. Scopes Management. 6. Decidable Subcases. 7. Unification in &lgr;-calculus with Dependent Types. Bibliography. Index. Chapter 17. Logical Frameworks (Frank Pfenning). 1. Introduction. 2. Abstract syntax. 3. Judgments and deductions. 4. Meta-programming and proof search. 5. Representing meta-theory. 6. Appendix: the simply-typed &lgr;-calculus. 7. Appendix: the dependently typed &lgr;-calculus. 8. Conclusion. Bibliography. Index. Chapter 18. Proof-Assistants Using Dependent Type Systems (Henk Barendregt, Herman Geuvers). 1. Proof checking. 2. Type-theoretic notions for proof checking. 3. Type systems for proof checking. 4. Proof-development in type systems. 5. Proof assistants. Bibliography. Index. Name index. Part VI. Nonclassical logics. Chapter 19. Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations (Jurgen Dix, Ulrich Furbach, Ilkka Niemela). 1. General Nonmonotonic Lo.
Reasoning & Artificial Intelligence, Expert Systems and Knowledge-Based Systems & Mathematical Logic and Foundations & Logics and Meanings of Programs & ENGENHARIA - TEMAS ATUAIS & Reasoning & Artificial Intelligence, Expert Systems and Knowledge-Based Systems & Logics and Meanings of Programs & Mathematical Logic and Foundations & Computer Science, Part V. Higher-order logic and logical frameworks. Chapter 15. Classical Type Theory (Peter B. Andrews). 1. Introduction to type theory. 2. Metatheoretical foundations. 3. Proof search. 4. Conclusion. Bibliography. Index. Chapter 16. Higher-Order Unification and Matching (Gilles Dowek). 1. Type Theory and Other Set Theories. 2. Simply Typed &lgr;-calculus. 3. Undecidability. 4. Huet's Algorithm. 5. Scopes Management. 6. Decidable Subcases. 7. Unification in &lgr;-calculus with Dependent Types. Bibliography. Index. Chapter 17. Logical Frameworks (Frank Pfenning). 1. Introduction. 2. Abstract syntax. 3. Judgments and deductions. 4. Meta-programming and proof search. 5. Representing meta-theory. 6. Appendix: the simply-typed &lgr;-calculus. 7. Appendix: the dependently typed &lgr;-calculus. 8. Conclusion. Bibliography. Index. Chapter 18. Proof-Assistants Using Dependent Type Systems (Henk Barendregt, Herman Geuvers). 1. Proof checking. 2. Type-theoretic notions for proof checking. 3. Type systems for proof checking. 4. Proof-development in type systems. 5. Proof assistants. Bibliography. Index. Name index. Part VI. Nonclassical logics. Chapter 19. Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations (Jurgen Dix, Ulrich Furbach, Ilkka Niemela). 1. General Nonmonotonic Lo.
3
Handbook of Automated Reasoning (2001)
EN NW RPISBN: 9780444508126 bzw. 0444508120, in Englisch, North Holland, neu, Nachdruck.
Von Händler/Antiquariat, Books2Anywhere [190245], Fairford, GLOS, United Kingdom.
New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000.
New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000.
4
Handbook of Automated Reasoning (2001)
EN HC NWISBN: 9780444508126 bzw. 0444508120, in Englisch, North Holland, gebundenes Buch, neu.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, GLOS, United Kingdom.
9780444508126 1188pp., Hardback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
9780444508126 1188pp., Hardback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
5
Handbook of Automated Reasoning, Volume 1 (2001)
EN HC NWISBN: 9780262182218 bzw. 0262182211, Band: 1, in Englisch, MIT Press (MA), gebundenes Buch, neu.
Lieferung aus: Niederlande, Op voorraad. Voor zondag 23:59 uur besteld, maandag in huis.
bol.com.
Automated reasoning has matured into one of the most advanced areas of computer science. It is used in many areas of the field, including software and hardware verification, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence. This handbook presents an overview of the fundamental ideas, techniques, and methods in automated reasoning and its applications. The material covers both theory and implementation. In addition to tra... Automated reasoning has matured into one of the most advanced areas of computer science. It is used in many areas of the field, including software and hardware verification, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence. This handbook presents an overview of the fundamental ideas, techniques, and methods in automated reasoning and its applications. The material covers both theory and implementation. In addition to traditional topics, the book covers material that bridges the gap between automated reasoning and related areas. Examples include model checking, nonmonotonic reasoning, numerical constraints, description logics, and implementation of declarative programming languages. The book consists of eight parts. After an overview of the early history of automated deduction, the areas covered are reasoning methods in first-order logic; equality and other built-in theories; methods of automated reasoning using induction; higher-order logic, which is used in a number of automatic and interactive proof-development systems; automated reasoning in nonclassical logics; decidable classes and model building; and implementation-related questions.Taal: Engels;Afmetingen: 74x271x201 mm;Gewicht: 907,00 gram;Verschijningsdatum: september 2001;ISBN10: 0262182211;ISBN13: 9780262182218; Engelstalig | Hardcover | 2001.
bol.com.
Automated reasoning has matured into one of the most advanced areas of computer science. It is used in many areas of the field, including software and hardware verification, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence. This handbook presents an overview of the fundamental ideas, techniques, and methods in automated reasoning and its applications. The material covers both theory and implementation. In addition to tra... Automated reasoning has matured into one of the most advanced areas of computer science. It is used in many areas of the field, including software and hardware verification, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence. This handbook presents an overview of the fundamental ideas, techniques, and methods in automated reasoning and its applications. The material covers both theory and implementation. In addition to traditional topics, the book covers material that bridges the gap between automated reasoning and related areas. Examples include model checking, nonmonotonic reasoning, numerical constraints, description logics, and implementation of declarative programming languages. The book consists of eight parts. After an overview of the early history of automated deduction, the areas covered are reasoning methods in first-order logic; equality and other built-in theories; methods of automated reasoning using induction; higher-order logic, which is used in a number of automatic and interactive proof-development systems; automated reasoning in nonclassical logics; decidable classes and model building; and implementation-related questions.Taal: Engels;Afmetingen: 74x271x201 mm;Gewicht: 907,00 gram;Verschijningsdatum: september 2001;ISBN10: 0262182211;ISBN13: 9780262182218; Engelstalig | Hardcover | 2001.
6
Handbook of Automated Reasoning: Vol 2 (Hardback) (2001)
EN HC NWISBN: 9780444508126 bzw. 0444508120, Band: 2, in Englisch, ELSEVIER SCIENCE TECHNOLOGY, United States, gebundenes Buch, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkostenfrei.
Von Händler/Antiquariat, The Book Depository US [58762574], London, United Kingdom.
Language: English . Brand New Book. This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
Von Händler/Antiquariat, The Book Depository US [58762574], London, United Kingdom.
Language: English . Brand New Book. This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
7
Handbook of Automated Reasoning, Volume I (2001)
EN HC NW FEISBN: 9780444829498 bzw. 0444829490, Band: 1, in Englisch, 996 Seiten, North Holland, gebundenes Buch, neu, Erstausgabe.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, ruk-ruk books.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, ruk-ruk books.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Handbook of Automated Reasoning, Volume I (2001)
EN HC US FEISBN: 9780444829498 bzw. 0444829490, Band: 1, in Englisch, 996 Seiten, North Holland, gebundenes Buch, gebraucht, Erstausgabe.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, anstinbooks.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, anstinbooks.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Symbolbild
Handbook of Automated Reasoning, Vol. 1 (Volume 1) (2001)
EN HC NWISBN: 9780262182218 bzw. 0262182211, Band: 1, in Englisch, The MIT Press, gebundenes Buch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, booklab, VA, Chantilly, [RE:4].
Great customer service. You will be happy! Hardcover.
Von Händler/Antiquariat, booklab, VA, Chantilly, [RE:4].
Great customer service. You will be happy! Hardcover.
Lade…