Special issue on Empirically Successful Computerized Reasoning

Schmidt, R. A. and Sutcliffe, G. and Schulz, S. (2009)

Journal of Applied Logic 7 (1). BiBTeX, Link to JAL.
Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 29 Jan 09
Copyright © 2007--9 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk