ISBN 9783540677970 books & textbook
Computational Logic ― CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings (Lecture Notes in Computer Science, 1861)
Lloyd, John Dahl, Veronica Furbach, Ulrich Kerber, Manfred Lau, Kung-Kiu Palamidessi, Catuscia Pereira, Luis M. Sagiv, Yehoshua Stuckey, Peter J.
Springer /2000-07-17 Paperback / 1420 Pages
isbn-10: 3540677976 / isbn-13: 9783540677970
