
Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Andrei Voronkov (ed.)Inngår i serier: Lecture notes in artificial intelligenceLecture notes in computer science (2392)
International Conference on Automated Deduction Bok Engelsk utgitt c2002
International Conference on Automated Deduction Bok Engelsk utgitt c2002
Ledig
- Automatlager: 1 av 1 ledig