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

• Άλλοι συγγραφείς: Comon, H. (Επιμελητής έκδοσης), Ganzinger, H. (Επιμελητής έκδοσης), Kirchner, C. (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Θέματα: IBFI; LOGIC PROGRAMMING; SEMINAR REPORT