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

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 Kunnskapsrepresentasjon Kunstig intelligens Matematisk logikk Prosessering av naturlig språk sorter typer kunstig-intelligens
ISBN	0387523375. - 3540523375
ISBN(galt)	0387523367