| Shelfclass_id | 4.B.3 |
| Sortkey | CL |
| Authors | John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey |
| Title | CL 2000: Computational Logic - CL 2000: First International Conference, London, UK, July 24-28, 2000, Proceedings |
| Publisher | Springer |
| Year | 2000 |
| Languages | eng |
| Isbn | 3540677976 |
| Series | Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
| Volume | 1861 |
| Issn | 0302-9743 |
| Description | xix, 1379 p. 24 cm. |
| Record date | 20090910 |
| Location | New York |
| Keywords | Computer logic |
| Urlnote | Publisher description |
| Urls | http://www.loc.gov/catdir/enhancements/fy0816/00058351-d.html |