ℹ️
🇬🇧
Search
Search for publications relevant for "SPASS"
SPASS
Publication
Class
Person
Publication
Programmes
Export current view
publication
SPASS Version 3.5
2009 |
Faculty of Mathematics and Physics
publication
Progress Towards Effective Automated Reasoning with World Knowledge
2010 |
Faculty of Mathematics and Physics
