Aussagenlogik: Deduktion und Algorithmen Deduktion und Algorithmen Lettmann Theodor Heftet / 1994 / Tysk
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings Kleine Büning, Hans Heftet / 2008 / Engelsk
CSL '89 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings Börger, Egon Heftet / 1990 / Engelsk
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings Börger, Egon Heftet / 1988 / Engelsk
Computer Science Logic 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings Börger, Egon Heftet / 1991 / Engelsk
Computer Science Logic 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings Borger Egon Heftet / 1992 / Engelsk
Computer Science Logic 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers Börger, Egon Heftet / 1993 / Engelsk
