Computational Logic _ CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings (Lecture Notes in Computer Science (1861), Band 1861)

Computational

von: John Lloyd · Veronica Dahl · Ulrich Furbach · Manfred Kerber · Kung-Kiu Lau · Catuscia Palamidessi · Luis M. Pereira · Yehoshua Sagiv

Taschenbuch

ISBN-13: 978-3-540-67797-0

ISBN-10: 3-540-67797-6

Springer · 2000