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

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

3
by Büning, Hans Kleine, Lettmann, Theodor
Published 1994
Vieweg+Teubner Verlag
Table of Contents: '; ...1 Einführung in die Aussagenlogik -- 1.1 Syntax und Semantik der Aussagenlogik -- 1.2 Einfache...