Dood Engineering

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings By John Alan Robinson (auth.), John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.)
2000 | 1382 Pages | ISBN: 3540677976 | PDF | 18 MB