lgc++: ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C++ (Benutzeranleitung)

Bibliographische Detailangaben

1. Verfasser:	Krieger, Rolf
Weitere Verfasser:	Becker, Bernd, Hengster, Harry
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Frankfurt am Main 1993
Schriftenreihe:	Interner Bericht / Fachbereich Informatik, Universität Frankfurt 93,8
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!