| by | |
|
Geoff Sutcliffe University of Miami, USA |
Martin Suda Charles University in Prague, Czech Republic Max-Planck-Institut für Informatik, Germany |
|
Gerard de Melo Max-Planck-Institut für Informatik, Germany |
David Stanovsky Charles University in Prague, Czech Republic
|
| With help from a bunch of people, particularly ... Patrick Wischnewski, Manuel Lamotte-Schubert, Nelson Dellis, Alexandra Teyssandier, Cameron Carpenter This research was started in the Automation of Logic group, Max-Planck-Institut für Informatik, Germany. | |