Automated Theorem Proving

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

Link teilen