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

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

Bibliographic Details
Other Authors: Comon, H. (Editor), Ganzinger, H. (Editor), Kirchner, C. (Editor)
Format: Book
Language:English
Subjects:
IBFI
LOGIC PROGRAMMING
SEMINAR REPORT
Description
Description not available.

Similar Items