Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings /

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (edición)
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Almmustuhtton: Berlín, Alemania : Springer, 2002, c2002
Ráidu:(Lecture Notes in Computer Science)
Liŋkkat:Ver documento en línea
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
Lasit vuosttaš kommeantta. Visot kommeanttat leat almmolaččat.!
Čálihuva vuohččan sisa