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: 9783540507208
Verlag: Springer Berlin
Erscheinung: 21.12.1988