Using theory resolution to simplify interpreted formulae

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Socher, Rolf (VerfasserIn)
Format:	UnknownFormat
Sprache:	und
Veröffentlicht:	Kaiserslautern Artificial Intelligence Laboratories, Fachbereich Informatik, Univ. Kaiserslautern 1988
Schriftenreihe:	Seki-Report 1988,16
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	8 S.