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

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Kaituhi matua: Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (edición)
Hōputu: Pukapuka
Reo:Ingarihi
I whakaputaina: Berlín, Alemania : Springer, 2002, c2002
Rangatū:(Lecture Notes in Computer Science)
Urunga tuihono:Ver documento en línea
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!