V. Sorge
发表
A. Meier,
V. Sorge,
2001
.
Petr Sojka,
Volker Sorge,
Łukasz Bolikowski,
2010
.
V. Sorge,
Charles Gretton,
M. Shah,
2011
.
V. Sorge,
Martin Pollet,
H. Horacek,
2004
.
V. Sorge,
1998
.
V. Sorge,
J. Carette,
Petr Sojka,
2012
.
V. Sorge,
Martin Pollet,
H. Horacek,
2004
.
V. Sorge,
J. Baker,
A. Sexton,
2008
.
V. Sorge,
D. Cervone,
Peter Krautzberger,
2015
.
Stephen M. Watt,
James H. Davenport,
William M. Farmer,
2003
.
V. Sorge,
M. Kohlhase,
1996
.
V. Sorge,
1997
.
V. Sorge,
J. Carette,
Petr Sojka,
2012
.
V. Sorge,
J. Carette,
Petr Sojka,
2012
.
Volker Sorge,
Christoph Benzmüller,
Andreas Meier,
2001
.
A. Meier,
V. Sorge,
E. Melis,
2002
.
S. Colton,
V. Sorge,
PlanningAndreas Meier,
2002
.
Volker Sorge,
Jörg H. Siekmann,
Karsten Konrad,
1999
.
Abdur Rakib,
Michael Fisher,
Alexander Bolotov,
2008
.
Volker Sorge,
T. V. Raman,
Charles L. Chen,
2014,
W4A.
Volker Sorge,
Christoph Benzmüller,
V. Sorge,
1998,
AIMSA.
Stephen M. Watt,
Jacques Carette,
Volker Sorge,
2010,
AISC'10/MKM'10/Calculemus'10.
Volker Sorge,
Andreas Meier,
Martin Pollet,
2002,
J. Symb. Comput..
Volker Sorge,
Alan P. Sexton,
Noureddin M. Sadawi,
2011,
TREC.
Simon Colton,
Volker Sorge,
Paul A. Cairns,
2006,
MKM.
Volker Sorge,
V. Sorge,
2001
.
V. Sorge,
J. Baker,
Liangcai Gao,
2014,
International Journal on Document Analysis and Recognition.
Volker Sorge,
Alan P. Sexton,
Josef B. Baker,
2009,
Calculemus/MKM.
Volker Sorge,
Alan P. Sexton,
Josef B. Baker,
2011
.
Volker Sorge,
Catriona Kennedy,
Peter Lee,
2011
.
Volker Sorge,
Jörg H. Siekmann,
Karsten Konrad,
1997,
CADE.
Volker Sorge,
Christoph Benzm,
V. Sorge,
2002
.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
1999,
Calculemus.
Volker Sorge,
Christoph Benzmüller,
Andreas Meier,
2005,
Mechanizing Mathematical Reasoning.
A. Meier,
V. Sorge,
E. Melis,
1999,
Formal Aspects of Computing.
Volker Sorge,
A. Jonathan R. Godfrey,
Paul Murrell,
2018,
ICCHP.
Volker Sorge,
Peter Krautzberger,
Davide P. Cervone,
2016
.
Volker Sorge,
Jörg H. Siekmann,
Christoph Benzmüller,
2002,
CADE.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
2001,
KI/ÖGAI.
Volker Sorge,
Jörg H. Siekmann,
Andreas Meier,
2002
.
Volker Sorge,
Helmut Horacek,
Martin Pollet,
2002
.
Volker Sorge,
Michael Kohlhase,
Christoph G. Jung,
1999,
J. Univers. Comput. Sci..
V. Sorge,
1998
.
Volker Sorge,
Jörg H. Siekmann,
Karsten Konrad,
1997
.
Volker Sorge,
Alan P. Sexton,
Noureddin M. Sadawi,
2012,
Electronic Imaging.
Volker Sorge,
Himanshu Garg,
Ayushi Verma,
2020,
W4A.
Volker Sorge,
Alan P. Sexton,
Josef B. Baker,
2010,
DAS '10.
Stephen M. Watt,
Volker Sorge,
Alan P. Sexton,
2009,
ISSAC '09.
Volker Sorge,
Quratul-ain Mahesar,
Claudio Sacerdoti Coen,
2012,
RTA.
Stephen M. Watt,
Volker Sorge,
Alan P. Sexton,
2009,
Calculemus/MKM.
Masakazu Suzuki,
Volker Sorge,
Alan P. Sexton,
2011,
2011 International Conference on Document Analysis and Recognition.
Volker Sorge,
Alan P. Sexton,
Josef B. Baker,
2009
.
Volker Sorge,
Manfred Kerber,
Martin Pollet,
2004,
MKM.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
2008,
J. Appl. Log..
Volker Sorge,
Andreas Meier,
A. Meier,
2005,
SAT.
Volker Sorge,
Michael Kohlhase,
Manfred Kerber,
1998,
Journal of Automated Reasoning.
Volker Sorge,
Michael Kohlhase,
Manfred Kerber,
1996,
DISCO.
Volker Sorge,
Michael Kohlhase,
Manfred Kerber,
1999
.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
1999
.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
2000,
ARW.
Volker Sorge,
Christoph Benzmüller,
V. Sorge,
1999,
EPIA.
Volker Sorge,
Christoph Benzmüller,
Matthew Bishop,
1999,
J. Univers. Comput. Sci..
Volker Sorge,
Davide Cervone,
Peter Krautzberger,
2016,
W4A.
Volker Sorge,
Davide Cervone,
Peter Krautzberger,
2016,
2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC).