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

Kuvaan voi liittyä käytön rajoituksia.

QR-koodi
Finna-arvio
(0)

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

Tallennettuna:
Ulkoasu
XIV, 350 pages online resource
Kieli
englanti
Julkaisija Berlin, Heidelberg : Springer Berlin Heidelberg 2002.
SarjaLecture Notes in Computer Science, ISSN 0302-9743; 2385.
Aiheet
Lisätiedot
edited by Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
ISBN
9783540454700
PääsyLuettavissa Jyväskylän yliopiston verkossa; Access limited to Jyväskylä University network
Huomautukset
SpringerLink
Standarditunnukset
doi 10.1007/3-540-45470-5