Analogy for automated reasoning

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Owen, Stephen G. (VerfasserIn)
Format:	UnknownFormat
Sprache:	und
Veröffentlicht:	Boston u.a. Acad. Press 1990
Schriftenreihe:	Perspectives in artificial intelligence 9
Schlagworte:	Robbins, Marty > Tonträger > Künstliche Intelligenz > Automatisches Beweisverfahren > Theorem > Bibliografie > Analogie > Verzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XV, 234 S.
ISBN:	0125317158 0-12-531715-8