Search: The Seventeen Provers Of The World
2006
[1]OMEGA (Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg Siekmann), Chapter in The Seventeen Provers of the World (Freek Wiedijk, ed.), Springer, LNCS, number 3600, pp. 127-141, 2006. (Url (preprint): http://christoph-benzmueller.de/papers/B3.pdf) [bibtex] [doi]
Powered by bibtexbrowser