Showing 1 - 2 results of 2 for search 'Ganzinger, H.', query time: 0.01s Refine Results
  1. 1
    Programs as data objects Proceedings of a Workshop Copenhagen, Denmark, October 17-19, 1985
    Published 1986
    Other Authors: “…Ganzinger, H.…”
    Book
  2. 2
    Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)
    Other Authors: “…Ganzinger, H.…”
    Book
Search Tools: RSS Feed – Email Search