Automatic theorem proving-Cong
Overview
Works: | 4 works in 4 publications in 4 languages |
---|
Titles
Automated deduction in geometry: 4th International Workshop,ADG 2002
by:
(Language materials, printed)
Automated deduction-CADE-19: 19th International conference on Automated Deduction ...
by:
(Language materials, printed)
Automated reasoning:second international joint conference,IJCAR 2004,Cork
by:
(Language materials, printed)