| Original language | English |
|---|---|
| Pages (from-to) | V-VI |
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 1861 |
| State | Published - 2000 |
| Event | 1st International Conference on Computational Logic, CL 2000 - London, United Kingdom Duration: 24 Jul 2000 → 28 Jul 2000 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver