|
Artificial Intelligence, Automated Reasoning, and Symbolic Computatiation, Proceedings of the Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, Springer LNAI 2385, 246-258, 2002
This page is hosted by the
Department of Computer Science,
University of Bologna.
Last updated Fri Feb 2 17:12:29 CET 2007. |
|