Logik und Logikprogrammierung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hölldobler, Steffen (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Heidelberg Synchron, Wiss.-Verl. der Autoren 2001
Ausgabe:	2., erw. Aufl.
Schriftenreihe:	Kolleg Synchron
Schlagworte:	Automatisches Beweisverfahren > Programmierlogik > Logische Programmierung > PROLOG > Mathematische Logik > Einführung > Logikprogrammiersprache
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	X, 304 S. graph. Darst.
ISBN:	3935025246 3-935025-24-6