![Logik Für Informatiker [German] 3519005182 Book Cover](https://i.thriftbooks.com/api/imagehandler/l/2E5452C960D61C65DF8467622A7C9862DDEACE7D.jpeg)
Logik ist eine wichtige Grundlage der Informatik. Sie ist f?r die Formalisierung der Softwaretechnik, f?r Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie f?r die logische Programmierung und die K?nstliche Intelligenz.
Dieses Buch entstand...