Jan-Georg Smaus

发表

Christos G. Cassandras, Janan Zaytoon, Stefan Ratschan, 2006 .
Tobias Nipkow, Javier Esparza, Jan-Georg Smaus, 2013, CAV.
Andy King, Jan-Georg Smaus, Patricia M. Hill, 1997, ICLP.
Andy King, Jan-Georg Smaus, Patricia M. Hill, 2001, Theory Pract. Log. Program..
Stephan Merz, Jan-Georg Smaus, Alexander Schimpf, 2009, TPHOLs.
Dino Pedreschi, Jan-Georg Smaus, Salvatore Ruggieri, 2001, Theory and Practice of Logic Programming.
Jan-Georg Smaus, Stefan Leue, Bahareh Badban, 2010, WING@ETAPS/IJCAR.
Markus Roggenbach, Dieter Hutter, Martin Wirsing, 2002, WADT.
Andy King, Jan-Georg Smaus, Patricia M. Hill, 1999, LOPSTR.
Martin Strecker, Jan-Georg Smaus, Wilmer Ricciotti, 2014, ICTERI.
Sandro Etalle, Annalisa Bossi, Sabina Rossi, 2001, ESOP.
Dino Pedreschi, Jan-Georg Smaus, Salvatore Ruggieri, 2004, Program Development in Computational Logic.
Andy King, Jan-Georg Smaus, Patricia M. Hill, 1999, ESOP.
Jan-Georg Smaus, Stéphane Le Roux, Érik Martin-Dorel, 2017, GandALF.
Andreas Podelski, Jörg Hoffmann, Jan-Georg Smaus, 2007, MoChArt.
Christian Schilling, Jan-Georg Smaus, Fabian Wenzelmann, 2013, IWOCA.
Andy King, Jan-Georg Smaus, Patricia M. Hill, 1998, PLILP/ALP.
Jan-Georg Smaus, Pierre Deransart, 2001, FLOPS.
François Fages, Jan-Georg Smaus, Pierre Deransart, 2000, FSTTCS.
Gregory M. Provan, David W. Aha, Robert P. Goldman, 2010, AI Mag..
Jan-Georg Smaus, Pierre Deransart, 2000, JFPLC.
Jan-Georg Smaus, Stefan Leue, Bahareh Badban, 2009, INFINITY.
Jan-Georg Smaus, Pierre Deransart, 2002, J. Funct. Log. Program..
Jörg Hoffmann, Jan-Georg Smaus, J. Hoffmann, 2009, MoChArt.
Christian Schilling, Jan-Georg Smaus, Fabian Wenzelmann, 2012, ISAIM.
Sandro Etalle, Jan-Georg Smaus, 1999, Electron. Notes Theor. Comput. Sci..
Jan-Georg Smaus, Alexander Schimpf, 2015, ICLA.
Sandro Etalle, Annalisa Bossi, Sabina Rossi, 2001, ESOP.