Top 1200 francine st marseille PDF Book Page 41

book image

Groups St Andrews 2017 in Birmingham (London Mathematical Society Lecture Note Series, Band 455)

C. M. Campbell (editor), C. W. Parker (editor), M. R. Quick (editor), E. F. Robertson (editor), C. M. Roney-Dougal (editor)
·510 Pages
·2019
·5.261 MB

book image

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

Eugene C. Freuder (auth.), Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (eds.)
·355 Pages
·2002
·4.248 MB

1
404142
50