Vladimir Brezhnev

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

Vladimir Brezhnev, Roman Kuznets
Making knowledge explicit: How hard it is. Theor. Comput. Sci. 357 (1-3) (2006)
Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
Proof Development with OMEGA. CADE (2002)