1
by Büning, Hans Kleine, Schmitgen, Stefan
Published 1986
Vieweg+Teubner Verlag
Table of Contents: ... Aussagenlogik -- 3.2 Prädikatenlogik -- 4 Die Syntax von Prolog -- 4.1 Die Beschreibung der Metasprache -- 4.2...