Đă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 156 kết quả
Advances in Proof-Theoretic Semantics [electronic resource]
Tác giả: Thomas Piecha, Peter Schroeder-Heister
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  160
 Thêm vào giỏ
 
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ỏ
 
The essence of logic circuits
Tác giả: Stephen H Unger
Xuất bản: New York: Institute of Electrical and Electronic Engineers, 1997
Bộ sưu tập: Tài liệu truy cập mở
ddc:  621.395
 Thêm vào giỏ
 
What Do We Know About the World? Rhetorical and Argumentative Perspectives
Tác giả: Gabrijela Kišiček, Igor Ž Žagar
Xuất bản: : Centre for Research in Reasoning Argumentation and Rhetoric CRRAR Windsor Studies in Argumentation, 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Belief Change [electronic resource] : Introduction and Overview
Tác giả: Eduardo Fermé, Sven Ove Hansson
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Modality
Tác giả: Sònia Roca Royes
Xuất bản: Cambridge: Cambridge University Press, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc:  160
 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 testing and design for testability
Tác giả: Hideo Fujiwara
Xuất bản: Cambridge Massachusetts: MIT Press, 1985
Bộ sưu tập: Tài liệu truy cập mở
ddc:  621.381537
 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ỏ
 
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