Fourth International Workshop on the Implementation of Logics

Konev, B. and Schmidt, R. A. (editors) (2003)

Technical Report ULCS-03-018, University of Liverpool. BiBTeX, PDF.

Proceedings of WIL'03, Almaty, Kazakhstan.


Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 14 Sep 04
Copyright © 2003 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk