Logic Programming and Automated Reasoning /

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Voronkov, Andrei.
Materialtyp: Sách giấy
Språk:English
Publicerad: Berlin : Springer-Verlag, 1993.
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liknande verk