Automated reasoning and computer algebra systems (AR-CA) [... Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning - Calculemus 2002, which was held in Marseille, France, on July 1 - 5

Bibliographische Detailangaben

Körperschaft:	Calculemus (BerichterstatterIn)
Weitere Verfasser:	Caprotti, Olga (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam Elsevier 2005
Schriftenreihe:	Journal of symbolic computation 39.2005,5
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!