Đă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 10 kết quả
From logic to logic programming
Tác giả: Kees Doets
Xuất bản: Cambridge Massachusetts: MIT Press, 1994
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 Thêm vào giỏ
 
Inductive logic programming : from machine learning to software engineering
Tác giả: Francesco Bergadano, Daniele Gunetti
Xuất bản: Cambridge Massachusetts: MIT Press, 1996
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.11
 Thêm vào giỏ
 
Logic programming : proceedings of the eleventh International Conference on Logic Programming
Tác giả: Pascal Van Hentenryck
Xuất bản: Cambridge Mass: MIT Press, 1994
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.131
 Thêm vào giỏ
 
Logic programming : proceedings of the Fourteenth International Conference on Logic Programming
Tác giả: Lee Naish
Xuất bản: Cambridge Massachusetts: MIT Press, 1997
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.115
 Thêm vào giỏ
 
Logic programming languages : constraints, functions, and objects
Tác giả: Krzysztof R Apt, J W de Bakker, J J M M Rutten
Xuất bản: Cambridge Massachusetts: MIT Press, 1993
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.131
 Thêm vào giỏ
 
Logic programming : proceedings of the 1995 international symposium
Tác giả: John Lloyd
Xuất bản: Cambridge Massachusetts: MIT Press, 1995
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 Thêm vào giỏ
 
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995
Tác giả: Leon S Sterling
Xuất bản: Cambridge Massachusetts: MIT Press, 1995
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 Thêm vào giỏ
 
Logic programming and non-monotonic reasoning : proceedings of the first international workshop
Tác giả: Wiktor Marek, Anil Nerode, V S Subrahmanian
Xuất bản: Cambridge Massachusetts: MIT Press, 1991
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 Thêm vào giỏ
 
The little typer
Tác giả: Daniel P Friedman, Duane Bibby, David Thrane Christiansen, Robert Harper, Conor McBride
Xuất bản: Cambridge: MIT Press, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 Thêm vào giỏ
 
Warren's abstract machine : a tutorial reconstruction
Tác giả: Hassan A�it-Kaci
Xuất bản: Cambridge Massachusetts: MIT Press, 1991
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.3
 Thêm vào giỏ
 
1

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