Automated Theorem Proving
Buch in deiner Nähe kaufen
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: 9783322901002
Verlag: Vieweg & Teubner
Erscheinung: 08.03.2013