Wolfgang Bibel Bibel Automated Theorem Proving

Automated Theorem Proving

von Wolfgang Bibel

EUR 54,99

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Wolfgang Bibel

Themen in »Automated Theorem Proving«

Algorithmen Analysis Beweisen Extension Intelligenz Logik Performance Problemlösen Processing Programmieren Programmierung Technologie Wissen formale Logik künstliche Intelligenz

Stimmen zu »Automated Theorem Proving«

Details

ISBN: 9783528085209
Verlag: Vieweg & Teubner
Erscheinung: 01.01.1982

Link teilen


Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden