Zur Logik der Logik-Programmierung
Ein konstruktiver Ansatz
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Clemens Beckstein
Themen in »Zur Logik der Logik-Programmierung«
Berechenbarkeit Beweis Logik Prolog Prädikate Prädikatenlogik künstliche Intelligenz
Stimmen zu »Zur Logik der Logik-Programmierung«
Details
ISBN: 9783642744037
Verlag: Springer Berlin
Erscheinung: 12.03.2013