Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Au - detaljert visning

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings

AISC 2004
Bok Engelsk 2004


Utgitt	Berlin : Springer , c2004
Omfang	X, 284 s. : ill.
Emner	Automatisk bevisføring Ekspertsystemer Kunstig intelligens Symbolsk logikk
ISBN	3540232125