Manfred Kerber

发表

Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou, 1998, Annals of Mathematics and Artificial Intelligence.
Volker Sorge, Manfred Kerber, Martin Pollet, 2004, MKM.
Volker Sorge, Christoph Benzmüller, Manfred Kerber, 2001, KI/ÖGAI.
Jörg H. Siekmann, Daniel Nesmith, Michael Kohlhase, 1994, CADE.
Jörg H. Siekmann, Erica Melis, Manfred Kerber, 1999 .
Colin Rowat, Manfred Kerber, Simon Mackenzie, 2013, Int. J. Game Theory.
Michael Kohlhase, Manfred Kerber, Michael Kohlhase, 2001 .
Volker Sorge, Christoph Benzmüller, Manfred Kerber, 2008, J. Appl. Log..
Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou, 1999 .
Manfred Kerber, Manfred Kerber, 2010, AISC'10/MKM'10/Calculemus'10.
Manfred Kerber, 2005, Electron. Notes Theor. Comput. Sci..
Manfred Kerber, Seungyeob Choi, 2002, Australian Joint Conference on Artificial Intelligence.
Luís Moniz Pereira, Peter J. Stuckey, Ulrich Furbach, 2000 .
Manfred Kerber, Martin Pollet, 2002, Australian Joint Conference on Artificial Intelligence.
Michael Kohlhase, Manfred Kerber, M. Kohlhase, 1996, ECAI.
Christoph Weidenbach, Reiner Hähnle, Manfred Kerber, 1996 .
Manfred Kerber, Manfred Kerber, 2005, KI.
Xiaorong Huang, Manfred Kerber, Jörn Richts, 1994, J. Inf. Process. Cybern..
Christoph Benzmüller, Manfred Kerber, Mateja Jamnik, 2001 .
Manfred Kerber, Mateja Jamnik, Martin Pollet, 2002 .
Manfred Kerber, Mateja Jamnik, Martin Pollet, 2002, ECAI.
Colin Rowat, Manfred Kerber, Manfred Kerber, 2014, Math. Soc. Sci..
Volker Sorge, Christoph Benzmüller, Manfred Kerber, 2000, ARW.
Colin Rowat, Christoph Lange, Till Mossakowski, 2013, MKM/Calculemus/DML.
Michael Kohlhase, Manfred Kerber, M. Kohlhase, 1994, CADE.
Volker Sorge, Christoph Benzmüller, Manfred Kerber, 1999 .
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, 1999 .
Volker Sorge, Christoph Benzmüller, Manfred Kerber, 2004, LPAR.
Christoph Benzmüller, Manfred Kerber, Christoph Benzmüller, 2001 .
Colin Rowat, Christoph Lange, Manfred Kerber, 2013 .
Manfred Kerber, Axel Präcklein, 1995, WOCFAI.
Volker Sorge, Jörg H. Siekmann, Karsten Konrad, 1997 .
Colin Rowat, Manfred Kerber, Marco B. Caminati, 2015 .
Christoph Benzmüller, Manfred Kerber, Mateja Jamnik, 2001 .
Florian Kammüller, Manfred Kerber, Christian W. Probst, 2016, MIST@CCS.
Colin Rowat, Manfred Kerber, Marco B. Caminati, 2015 .
Manfred Kerber, Manfred Kerber, 1989, AII.
Volker Sorge, Christoph Benzmüller, Manfred Kerber, 1999, Calculemus.
Luís Moniz Pereira, Peter J. Stuckey, Ulrich Furbach, 2000, Lecture Notes in Computer Science.
Manfred Kerber, Seungyeob Choi, Manfred Kerber, 2002 .
Christoph Weidenbach, Manfred Kerber, 1992, Künstliche Intell..
Manfred Kerber, 1998, JELIA.
Erica Melis, Manfred Kerber, E. Melis, 1996, FAPR.
Erica Melis, Manfred Kerber, E. Melis, 1995, WOCFAI.
Colin Rowat, Christoph Lange, Manfred Kerber, 2013, MKM/Calculemus/DML.
Tim Kovacs, Manfred Kerber, 2000, IWLCS.
Volker Sorge, Jörg H. Siekmann, Karsten Konrad, 1997, CADE.
Christoph Benzmüller, Manfred Kerber, Mateja Jamnik, 2003, Log. J. IGPL.
Manfred Kerber, Manfred Kerber, 2005, Mechanizing Mathematical Reasoning.
Manfred Kerber, Axel Präcklein, 2005, Annals of Mathematics and Artificial Intelligence.
Colin Rowat, Manfred Kerber, Wolfgang Windsteiger, 2011, Calculemus/MKM.
Florian Kammüller, Manfred Kerber, Manfred Kerber, 2020, Sci. Comput. Program..
Florian Kammüller, Manfred Kerber, Christian W. Probst, 2017, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..
Colin Rowat, Christoph Lange, Manfred Kerber, 2015, Arch. Formal Proofs.
Michael Kohlhase, Manfred Kerber, M. Kohlhase, 2012, J. Appl. Non Class. Logics.
Christoph Benzmüller, Manfred Kerber, Mateja Jamnik, 2001 .
Manfred Kerber, 2014 .
Tim Kovacs, Manfred Kerber, T. Kovacs, 2006, Evolutionary Computation.
Colin Rowat, Christoph Lange, Manfred Kerber, 2015, EC.
Colin Rowat, Christoph Lange, Manfred Kerber, 2014, CICM.
Jörg H. Siekmann, Daniel Nesmith, Michael Kohlhase, 1996, Informatik Forschung und Entwicklung.
Florian Kammüller, Manfred Kerber, Manfred Kerber, 2016, 2016 IEEE Security and Privacy Workshops (SPW).
Michael Kohlhase, Xiaorong Huang, Manfred Kerber, 1999 .
Jörg H. Siekmann, Daniel Nesmith, Michael Kohlhase, 1994, CADE.
Colin Rowat, Christoph Lange, Manfred Kerber, 2016, ArXiv.
Manfred Kerber, Mateja Jamnik, Martin Pollet, 2002, CADE.
Michael Kohlhase, Xiaorong Huang, Manfred Kerber, 1994, KI.
Volker Sorge, Christoph Benzmüller, Manfred Kerber, 2001 .
Michael Kohlhase, Manfred Kerber, M. Kohlhase, 1997, KI.
Colin Rowat, Christoph Lange, Manfred Kerber, 2013, GI-Jahrestagung.
Volker Sorge, Michael Kohlhase, Manfred Kerber, 1996, DISCO.
Manfred Kerber, 2008, AISC/MKM/Calculemus.
Manfred Kerber, Martin Pollet, Martin Pollet, 2005, MKM.
Volker Sorge, Michael Kohlhase, Manfred Kerber, 1998, Journal of Automated Reasoning.
Colin Rowat, Manfred Kerber, Marco B. Caminati, 2014 .
Manfred Kerber, 2006, MKM.
Colin Rowat, Manfred Kerber, Marco B. Caminati, 2014, ArXiv.
Colin Rowat, Christoph Lange, Manfred Kerber, 2012 .
Colin Rowat, Manfred Kerber, 2011, Int. J. Game Theory.
Michael Kohlhase, Manfred Kerber, M. Kohlhase, 1996 .
Colin Rowat, Manfred Kerber, Christoph Lange, 2014 .
Tim Kovacs, Manfred Kerber, T. Kovacs, 2006 .
Karsten Konrad, Michael Kohlhase, Xiaorong Huang, 1997 .
Cezary Kaliszyk, Jacques Carette, Volker Sorge, 2015, Lecture Notes in Computer Science.