Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
Tìm được 32 kết quả
Mathematical Aspects of Logic Programming Semantics
Tác giả: Pascal Hitzler, Randi Cohen, Randi Cohen, Anthony Seda
Xuất bản: Boca Raton, FL: Taylor & Francis , 2010
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.115
 Thêm vào giỏ
 
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
Tác giả: Antonis C Kakas, Robert Kowalski, Fariba Sadri
Xuất bản: Heidelberg ; New York: Springer , 2002.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.115
 Thêm vào giỏ
 
Computational logic [electronic resource] : logic programming and beyond
Tác giả: Antonis C Kakas, Robert Kowalski, Fariba Sadri
Xuất bản: Berlin ; New York: Springer , 2002.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.115
 Thêm vào giỏ
 
Arithmetic and Logic in Computer Systems
Tác giả: Mi Lu
Xuất bản: kđ: WileyBlackwell , 2004
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Executing temporal logic programs
Tác giả: B C Moszkowski
Xuất bản: Cambridge [Cambridgeshire] ; New York: Cambridge University Press , 1986.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki
Tác giả: Amal Ahmed
Xuất bản: Cham: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Logic in Computer Science [electronic resource] : Modelling and Reasoning about Systems
Tác giả: Michael Huth, Mark Ryan
Xuất bản: Cambridge: Cambridge University Press , 2004.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.015113
 Thêm vào giỏ
 
Automata, Languages and Programming [electronic resource] : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
Tác giả: Luis Caires, Guiseppe F Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Nobuko Yoshida
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.13
 Thêm vào giỏ
 
Natural language understanding
Tác giả: James Allen
Xuất bản: Redwood City, CA: The Benjamin-Cummings, cop , 1995
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.35
 Thêm vào giỏ
 
1 2 3 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media