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

Logic Programming: Formal Methods and Practical Applications, 1995

Christoph Beierle, Lutz Plümer (Eds.): Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence. Elsevier Science B.V./North-Holland 1995, ISBN 0-444-82092-2

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