Proceedings of the FLoC'06 Workshop on Empirically Successful Computerized Reasoning (ESCoR), 3rd International Joint Conference on Automated Reasoning

Sutcliffe, G. and Schmidt, R. and Schulz, S. (eds) (2006)

CEUR Workshop Proceedings, Vol. 192. BiBTeX, Full text via CEUR.
Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 20 Aug 08
Copyright © 2005 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk