Original language | English (US) |
---|---|
Pages (from-to) | 295-296 |
Number of pages | 2 |
Journal | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) |
Volume | 2741 |
DOIs | |
State | Published - 2003 |
Event | 19th International Conference on Automated Deduction - Miami Beach, FL, United States Duration: Jul 28 2003 → Aug 2 2003 |
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)