KẾT QUẢ TÌM KIẾM
Tải biểu ghi 
Tìm thấy  1  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
1Logic 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