Aussagenlogik: Deduktion und Algorithmen

Beschreibung

"... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien

Autor*in

Hans Kleine Büning

Themen in »Aussagenlogik: Deduktion und Algorithmen«

Algorithmen Handel Komplexität Logik Programmierung Systeme Verfahren

Stimmen zu »Aussagenlogik: Deduktion und Algorithmen«

Details

Link teilen