dblp.uni-trier.dewww.uni-trier.de

Vladimir Brezhnev

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
2EEVladimir Brezhnev, Roman Kuznets: Making knowledge explicit: How hard it is. Theor. Comput. Sci. 357(1-3): 23-34 (2006)
2002
1EEJö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: 144-149

Coauthor Index

1Christoph Benzmüller (Christoph Benzmueller) [1]
2Lassaad Cheikhrouhou [1]
3Armin Fiedler [1]
4Andreas Franke [1]
5Helmut Horacek [1]
6Michael Kohlhase [1]
7Roman Kuznets [2]
8Andreas Meier [1]
9Erica Melis [1]
10Markus Moschner [1]
11Immanuel Normann [1]
12Martin Pollet [1]
13Jörg H. Siekmann [1]
14Volker Sorge [1]
15Carsten Ullrich [1]
16Claus-Peter Wirth [1]
17Jürgen Zimmer [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)