Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)

• Other Authors: Comon, H. (Editor), Ganzinger, H. (Editor), Kirchner, C. (Editor)
• Format: Book
• Language: English
• Subjects: IBFI; LOGIC PROGRAMMING; SEMINAR REPORT