%0 Conference Paper %1 conf/cade/SiekmannBBCFFHKMMMNPSUWZ02 %A Siekmann, Jörg H. %A Benzmüller, Christoph %A Brezhnev, Vladimir %A Cheikhrouhou, Lassaad %A Fiedler, Armin %A Franke, Andreas %A Horacek, Helmut %A Kohlhase, Michael %A Meier, Andreas %A Melis, Erica %A Moschner, Markus %A Normann, Immanuel %A Pollet, Martin %A Sorge, Volker %A Ullrich, Carsten %A Wirth, Claus-Peter %A Zimmer, Jürgen %B CADE %D 2002 %E Voronkov, Andrei %I Springer %K dblp %P 144-149 %T Proof Development with OMEGA. %U http://dblp.uni-trier.de/db/conf/cade/cade2002.html#SiekmannBBCFFHKMMMNPSUWZ02 %V 2392 %@ 3-540-43931-5

@inproceedings{conf/cade/SiekmannBBCFFHKMMMNPSUWZ02, added-at = {2017-05-21T00:00:00.000+0200}, author = {Siekmann, Jörg H. and Benzmüller, Christoph and Brezhnev, Vladimir and Cheikhrouhou, Lassaad and Fiedler, Armin and Franke, Andreas and Horacek, Helmut and Kohlhase, Michael and Meier, Andreas and Melis, Erica and Moschner, Markus and Normann, Immanuel and Pollet, Martin and Sorge, Volker and Ullrich, Carsten and Wirth, Claus-Peter and Zimmer, Jürgen}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29a5b20887d36c9828593b9e3093e791b/dblp}, booktitle = {CADE}, crossref = {conf/cade/2002}, editor = {Voronkov, Andrei}, ee = {https://doi.org/10.1007/3-540-45620-1_12}, interhash = {e6f6416796c73c9a79f66e48d66a112c}, intrahash = {9a5b20887d36c9828593b9e3093e791b}, isbn = {3-540-43931-5}, keywords = {dblp}, pages = {144-149}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:38:58.000+0200}, title = {Proof Development with OMEGA.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2002.html#SiekmannBBCFFHKMMMNPSUWZ02}, volume = 2392, year = 2002 }