BibSonomy :: author  ::

bookmarks

publications

(3)

• Proof Development with OMEGA
  J. Siekmann and C. Benzm{\"u}ller and V. Brezhnev and L. Cheikhrouhou and A. Fiedler and A. Franke and H. Horacek and M. Kohlhase and A. Meier and E. Melis and M. Moschner and I. Normann and M. Pollet and V. Sorge and C. Ullrich and C. Wirth and J. Zimmer Proceedings of the 19th Conference on Automated Deduction (CADE-19) 143-148 (2002)
  to imported by carstenullrich on 2007-10-07 09:43:01
  | URL | BibTeX  
• Making knowledge explicit: How hard it is.
  Vladimir Brezhnev and Roman Kuznets Theor. Comput. Sci. 357 23-34 (2006)
  to dblp by dblp on 2006-11-21 00:00:00
  | URL | BibTeX  
• Proof Development with OMEGA.
  Jörg H. Siekmann and Christoph Benzmüller and Vladimir Brezhnev and Lassaad Cheikhrouhou and Armin Fiedler and Andreas Franke and Helmut Horacek and Michael Kohlhase and Andreas Meier and Erica Melis and Markus Moschner and Immanuel Normann and Martin Pollet and Volker Sorge and Carsten Ullrich and Claus-Peter Wirth and Jürgen Zimmer CADE 144-149 (2002)
  to dblp by dblp on 2002-07-11 00:00:00
  | URL | BibTeX