ℹ️
🇬🇧
Search
Search for publications relevant for ""
Class
Person
Publication
Programmes
Automated Theorem Proving in Loop Theory
Publication at Faculty of Mathematics and Physics
|
2008
2 people
Abstract
Automated Theorem Proving in Loop Theory
People
person
doc. RNDr. David Stanovský Ph.D.
Faculty of Mathematics and Physics
person
J. D. Phillips
Person without faculty affiliation
