Language
Publisher
-
All (
) -
Free, open source ( )
2Result(s)for '"Walther Christoph"'
Resource list
A Many-Sorted Calculus Based on Resolution and Paramodulation
ISBN:9781483258935
Elsevier Science(2014)
Access to resources
Favorite
16.608658
By Walther Christoph Schweitzer Stephan in Journal of Automated Reasoning
ISSN:0168-7433|32|1|35-73
Springer Publishing Company (2004)
Access to resources
Favorite
13.286926