Language
Publisher
Subjects
-
All (
) -
Free, open source ( )
2Result(s)for '"Kreitz Christoph"'
Resource list
By Kreitz Christoph Mantel Heiko in Journal of Automated Reasoning
ISSN:0168-7433|32|2|121-166
Springer Publishing Company (2004)
Access to resources
Favorite
16.342361
By Raths Thomas Otten Jens Kreitz Christoph in Journal of Automated Reasoning
ISSN:0168-7433|38|1-3|261-271
Springer Publishing Company (2007)
Access to resources
Favorite
12.256771