Ergebnisse zu
Logik / Mengenlehre

Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings

Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Center, Chelwood..

Theory and Application

A Generic Theorem Prover

Advances in Artificial Intelligence: 18th German Annual Conference on Artificial Intelligence, Saarbrucken, Germany, September 18-23, 1994:..

Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-28, 1988

International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Second International Colloquium, Icgi-94, Alicante, Spain, September 21-23, 1994: Proceedings

First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected Papers

19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings