ESPRIT 415 deliverable D15, PARTHEO/6 ; Parallel automated theorem prover based on the connection method for full first order logic ; implementation and performance

Bibliographische Detailangaben

Körperschaft:	Forschungsgruppe Künstliche Intelligenz, Technische Universität München (BerichterstatterIn)
Weitere Verfasser:	Ertel, W. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	München 1989
Schriftenreihe:	Report FKI 118
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!