Computational Logic _ CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings (Lecture Notes in Computer Science (1861), Band 1861)
von:
John Lloyd
·
Veronica Dahl
·
Ulrich Furbach
·
Manfred Kerber
·
Kung-Kiu Lau
·
Catuscia Palamidessi
·
Luis M. Pereira
· Yehoshua Sagiv
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-67797-0
ISBN-10: 3-540-67797-6
Springer
· 2000