Showing 1 - 2 results of 2 for search 'Kleine-Buning, Hans', query time: 0.02s Refine Results
  1. 1
    Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
    Published 2008
    Other Authors: “…Kleine Büning, Hans…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)
    Other Authors: “…Kleine-Buning, Hans…”
    Book
Search Tools: RSS Feed – Email Search