Computational Logic - CL 2000
Subtitle: First International Conference London, UK, July 24-28, 2000 Proceedings (Lecture Notes in Computer Science)
Contributors: John Lloyd (Editor); Veronica Dahl (Editor); Ulrich Furbach (Editor); Manfred Kerber (Editor); Kung-Kiu Lau (Editor); Catuscia Palamidessi (Editor); Luis M. Pereira (Editor); Yehoshua Sagiv (Editor); Peter J. Stuckey (Editor)
Edition: 1st edition
Publisher: Springer
Published: October 15, 2000
Language: eng
Format: Paperback
Number of pages: 1379
ISBN-13: 9783540677970
Subjects: Artificial intelligence; Computer Programming; Computer architecture & logic design; Science/Mathematics; Computers; General; Medical / Nursing; Computer Science; Computer Logic; Artificial Intelligence - General; Machine Theory; Computers / Artificial Intelligence; Congresses
First sentence: Although logic and computing are each very old subjects, going back very much more than a mere hundred years, it is only during the past century that they have merged and become essentially one subject.