Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
---|---|---|---|---|---|
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 ... Notes in Computer Science , Band 1847) | Taschenbuch | 978-3-540-67697-3 | 2008 | ||
Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings | Paperback | 978-3-662-20166-4 | 2014 | ||
Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings | Taschenbuch | 978-3-540-58025-6 | 2008 | ||
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. | " | 978-3-540-60983-4 | 2008 | Heinrich Herre · Peter Schroeder-Heister | |
Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996: Proceedings | Paperback | 978-0-387-60983-6 | 1996 | Germany) Elp '9 (1996 Leipzig · Heinrich Herre · Peter Joseph Schroeder-Heister |