Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

John Harrison | Handbook of Practical Logic and Automated Reasoning | Buch

Name: John Harrison | Handbook of Practical Logic and Automated Reasoning | Buch
Brand: Cambridge University Press
SKU: 405532562609
Price: 174.95 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

174,95 €

Jetzt bei Ebay:

Zum Angebot *

Buchtitel:

Handbook of Practical Logic and Automated Reasoning
Autor:

John Harrison
Sprache:

Englisch
Erscheinungsjahr:

2015
Anzahl der Seiten:

702
Marke:

Cambridge University Press
Hersteller:

Cambridge University Press
Verlag:

Cambridge University Press
Format:

Gebundene Ausgabe
Genre:

Importe
Schlagworte:

Philosophie, Allgemeines, Lexika
Herstellungsland und -region:

Deutschland
ISBN:

0521899575

Standardversand:

DHL Paket 2,95 EUR - Lieferung zwischen 21. May 2025 und 27. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere

John Harrison | Handbook of Practical Logic and Automated Reasoning | Buch

Handbook of Practical Logic and Automated Reasoning | John Harrison | Buch

Handbook of Automated Reasoning

John Harrison Handbook of Practical Logic and Automated Reas (Gebundene Ausgabe)

Meaning in Dialogue An Interactive Approach to Logic and Reasoning Trafford Buch

Subjective Logic A Formalism for Reasoning Under Uncertainty Audun Jøsang Buch

Practical Hand Book of Gas, Oil and Steam Engines John B. Rathbun Taschenbuch

Logic for Programming, Artificial Intelligence, and Reasoning Andrei Voronkov

Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mat...

Erik Weber (u. a.) | Logic, Reasoning, and Rationality | Taschenbuch | Englisch

Logic Programming and Automated Reasoning Harald Ganzinger (u. a.) Taschenbuch

Simple Type Theory: A Practical Logic for Expressing and Reasoning About

Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mat...

John Stuart Mill A System of Logic, Ratiocinative and Inductive (Taschenbuch)

Fundamentals of Logic and Computation: With Practical Automated Reasoning and

Fundamentals of Logic and Computation: With Practical Automated Reasoning and

Andrei Voronkov (u. a.) | Logic for Programming and Automated Reasoning | Buch

Shahid Rahman (u. a.) | New Developments in Legal Reasoning and Logic | Buch

Logic Programming and Automated Reasoning Frank Pfenning Taschenbuch xii 1994

Past and Present Interactions in Legal Reasoning and Logic Armgardt (u. a.) Buch

Ashish Tiwari (u. a.) | Automated Reasoning | Taschenbuch | Englisch (2016) | xx

John Harrison | Handbook of Practical Logic and Automated Reasoning | Buch

Ähnliche Artikel

Handbook of Practical Logic and Automated Reasoning | John Harrison | Buch

Handbook of Automated Reasoning

John Harrison Handbook of Practical Logic and Automated Reas (Gebundene Ausgabe)

Meaning in Dialogue An Interactive Approach to Logic and Reasoning Trafford Buch

Subjective Logic A Formalism for Reasoning Under Uncertainty Audun Jøsang Buch

Practical Hand Book of Gas, Oil and Steam Engines John B. Rathbun Taschenbuch

Logic for Programming, Artificial Intelligence, and Reasoning Andrei Voronkov

Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mat...

Erik Weber (u. a.) | Logic, Reasoning, and Rationality | Taschenbuch | Englisch

Logic Programming and Automated Reasoning Harald Ganzinger (u. a.) Taschenbuch

Simple Type Theory: A Practical Logic for Expressing and Reasoning About

Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mat...

John Stuart Mill A System of Logic, Ratiocinative and Inductive (Taschenbuch)

Fundamentals of Logic and Computation: With Practical Automated Reasoning and

Fundamentals of Logic and Computation: With Practical Automated Reasoning and

Andrei Voronkov (u. a.) | Logic for Programming and Automated Reasoning | Buch

Shahid Rahman (u. a.) | New Developments in Legal Reasoning and Logic | Buch

Logic Programming and Automated Reasoning Frank Pfenning Taschenbuch xii 1994

Past and Present Interactions in Legal Reasoning and Logic Armgardt (u. a.) Buch

Ashish Tiwari (u. a.) | Automated Reasoning | Taschenbuch | Englisch (2016) | xx

Cookie Hinweis