dblp.uni-trier.de www.uni-trier.de

60. Birthday: Alan Robinson, 1991

Jean-Louis Lassez, Gordon D. Plotkin (Eds.): Computational Logic - Essays in Honor of Alan Robinson. The MIT Press, 1991, ISBN 0-262-12156-5

Inference

Equality

Logic Programming

Copyright © Fri Mar 12 17:06:58 2010 by Michael Ley (ley@uni-trier.de)