Publikation

A Methodology for Equational Reasoning

Dieter Hutter, Jürgen Cleve

In: Jay F. Nunamaker jr. , Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: DSS/Knowledge-based Systems. Hawaii International Conference on System Sciences (HICSS) 27th January 4-7 Maui Hawaii United States III IEEE Computer Society Press Los Alamitos, California 1994.

http://www.dfki.de/vse/papers/ch94.ps.gz (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence