Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Josep Argelich, Alba Cabiscol, Inês Lynce (auth.), Hans Kleine Büning, Xishun Zhao (eds.)
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
  • PDF
  • English
  • Year: 1996
  • Author: Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)
CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Klaus Ambos-Spies, Dongping Yang (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)
CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings
  • DJVU
  • English
  • Year: 1988
  • Author: Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)
Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Yaniv Bargury, Johann Makowsky (auth.), Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter (eds.)
A Survey of Recent Advances in SAT-Based Formal Verification
  • PDF
  • English
  • Year: 1999
  • Author: Hans Kleine Büning, Theodor Lettmann
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Josep Argelich, Felip Manyà (auth.), Fahiem Bacchus, Toby Walsh (eds.)
Prolog: Grundlagen und Anwendungen
  • PDF
  • German
  • Year: 1988
  • Author: Dr. rer. nat. Hans Kleine Büning, Dipl.-Wi.-Ing. Stefan Schmitgen (auth.)
search