Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)
Άλλοι συγγραφείς: | Comon, H. (Επιμελητής έκδοσης), Ganzinger, H. (Επιμελητής έκδοσης), Kirchner, C. (Επιμελητής έκδοσης) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Θέματα: |
Παρόμοια τεκμήρια
- Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112)
- Analogical and inductive inference 1992 Dagstuhl-Seminar-Report; 49 05.10.-09.10.92(9241)
- Informatik und philosopie Dagstuhl-Seminar-Report; 48 21.09.-25.09.92(9239)
- Computational geometry Dagstuhl-Seminar-Report; 22 07.10.-11.10.91(9141)
- Deduction Dagstuhl-Seminar-Report; 58 08.03.-12.03.93(9310)