Bidirectional reasoning of horn clause programs transformation and compilation

Bibliographische Detailangaben

1. Verfasser:	Hinkelmann, Knut (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kaiserslautern DFKI 1991
Schriftenreihe:	Technical Memo / Deutsches Forschungszentrum für Künstliche Intelligenz 91-02
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!