6th Conference on Automated Deduction - Lecture Notes in Computer Science
Latest Publications
TOTAL DOCUMENTS
22
(FIVE YEARS 0)
H-INDEX
8
(FIVE YEARS 0)
Published By Springer-Verlag
3540115587
2005 ◽
pp. 274-291
◽
Keyword(s):