Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
David Basin, Michaël Rusinowitch, eds.
- 491 páginas : ilustraciones
- Lecture notes in computer science, 3097 Lecture notes in artificial intelligence .
- Lecture notes in computer science .
3540223452
Demostración automática de teoremas--Congresos
Lógica computacional--Congresos
QA76.9A96 / I53 2004