Logic Programming and Automated Reasoning /

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Voronkov, Andrei.
Formaat: Sách giấy
Taal:English
Gepubliceerd in: Berlin : Springer-Verlag, 1993.
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Gelijkaardige items