Deduction revision by intelligent backtracking

Bibliographische Detailangaben

1. Verfasser:	Bruynooghe, Maurice (VerfasserIn)
Weitere Verfasser:	Moniz Pereira, Luis (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Leuven, Belgium 1983
Schriftenreihe:	Report. Department of Computer Science, Katholieke Universiteit Leuven. CW 30
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!