Showing 1 - 1 results of 1 for search 'Kirchner, C.', query time: 0.01s Refine Results
  1. 1
    Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)
    Other Authors: “…Kirchner, C.…”
    Book
Search Tools: RSS Feed – Email Search