Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

K. H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.)
Bok · Engelsk · 1990

Utgitt	Berlin : Springer , c1990
Omfang	VIII, 307 s. : fig.
Emner	Abstract data types (Computer science) - Congresses Artificial intelligence - Congresses Logic, Symbolic and mathematical - Congresses Sorting (Electronic computers) - Congresses Vis mer... Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Kunnskapsrepresentasjon Kunstig intelligens Matematisk logikk Naturlig språk Prosessering av naturlig språk : (NO-TrBIB)REAL006274 sorter typer kunstig-intelligens
ISBN	0387523375. - 3540523375
ISBN(galt)	0387523367