Artificial intelligence, automated reasoning, and symbolic computation : joint international confere - detaljert visning

Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings

AISC 2002
Bok Engelsk 2002


Utgitt	Berlin : Springer , c2002
Omfang	XI, 341 s. : ill.
Emner	Artificial intelligence Automatic theorem proving Logic, Symbolic and mathematical Automatisk bevisføring Vis mer... Ekspertsystemer Kunstig intelligens Symbolsk logikk
ISBN	3540438653