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

Theorem Proving in Higher Order Logics Burkhart Wolff

Name: Theorem Proving in Higher Order Logics Burkhart Wolff
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177087592114
Price: 53.49 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

53,49 €

Titel: Theorem Proving in Higher Order Logics, Untertitel: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings, Einband: Taschenbuch, Autor: Burkhart Wolff, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 384, Maße: 235x155x21 mm, Gewicht: 581 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Automat Coq Isabelle automation logic proving theorem proving.

Jetzt bei Ebay:

Zum Angebot *

Verlag:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Autor:

Burkhart Wolff
Seiten:

384
Gewicht:

581
Einband:

Taschenbuch
Format:

235x155x21 mm
Sprache:

Englisch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

Hardcover/Geisteswissenschaften, Kunst, Musik/Philosophie
Publikationstitel:

Theorem Proving in Higher Order Logics
Erscheinungsjahr:

20030821
Produktart:

Bücher
Buchtitel:

Theorem Proving in Higher Order Logics
Untertitel:

16th International Conference, TPHOLs 2003, Rom, Italy, Septem...
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

Theorem Proving in Higher Order Logics
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Intelligenz / Künstliche Intelligenz KI Künstliche Intellige...
ISBN:

9783540406648

Standardversand:

DHL Kleinpaket kostenlos - Lieferung zwischen 27. June 2025 und 01. July 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Paket 3,99 EUR - Lieferung zwischen 27. June 2025 und 01. July 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