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

Μηχανικών Η/Υ και Πληροφορικής: Unknown

Holdings details from Μηχανικών Η/Υ και Πληροφορικής: Unknown
Call Number: Unknown
Copy 1 Available

Similar Items