KẾT QUẢ TÌM KIẾM
Tải biểu ghi 
Tìm thấy  2  biểu ghi              Tiếp tục tìm kiếm :
1       Sắp xếp theo :     Hiển thị:    
STTChọnThông tin ấn phẩm
1Lập trình logic trong Prolog / Phan Huy Khánh . - Hà Nội : Đại học Quốc gia, 2004. - 253 tr. ; 24 cm.
  • Thông tin xếp giá: VM/03052-VM/03055
  • 2Logic programming : formal methods and practical applications / edited by Christoph Beierle, Lutz Pl . - North - Holland, 1995. - 404 tr. ; 25 cm.
  • Thông tin xếp giá:  Ấn phẩm chưa sẵn sàng phục vụ bạn đọc