Language
Publisher
Subjects
Publication date
- All ( )
- Free, open source ( )
1Result(s)for '"Kaufmann Matt"'
Resource list
By Gordon Michael Kaufmann Matt Ray Sandip in Journal of Automated Reasoning
ISSN:0168-7433|47|1|1-16
Springer Publishing Company (2011)
Access to resources Favorite 10.349445