Đang hiển thị
1 - 2
kết quả của
2
cho tìm kiếm '
'
Chuyển đến nội dung
VuFind
Tài khoản của bạn
Đăng xuất
Đăng nhập tổ chức
Ngôn ngữ
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Tất cả các trường
Tác giả
Tiêu đề
Tiêu đề tạp chí
Chủ đề
số ISBN/ISSN
Nhãn
Tìm kiếm
Nâng cao
Đặt lại bộ lọc
Chủ đề:
Computer Science Logic and Foundations of Programming
Đặt lại bộ lọc
Hiển thị bộ lọc (1)
Chủ đề:
Computer Science Logic and Foundations of Programming
Kết quả tìm kiếm
Đang hiển thị
1 - 2
kết quả của
2
cho tìm kiếm '
'
, thời gian truy vấn: 0.17s
Tinh chỉnh kết quả
Kết quả mỗi trang
10
20
40
60
80
100
Sắp xếp
Mức độ liên quan
Ngày giảm dần
Ngày tăng dần
Tác giả
Tiêu đề
Danh sách
Lưới
1
Đang tải...
Automated Deduction – CADE 28
Xuất bản năm
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
lấy văn bản
Livro
Lưu vào danh sách
Đã lưu trong:
2
Đang tải...
Programming Languages and Systems
Xuất bản năm
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
lấy văn bản
Livro
Lưu vào danh sách
Đã lưu trong:
Công cụ tìm kiếm:
Nhận nguồn cấp dữ liệu RSS
—
Tìm kiếm email này
—
Lưu tìm kiếm
Trở lại
Tìm kiếm hẹp
Tổ chức giáo dục
DOAB
2
Loại trừ kết quả phù hợp
Bộ sưu tập
Directory of Open Access Books
2
Loại trừ kết quả phù hợp
Định dạng
Livro
2
Loại trừ kết quả phù hợp
Tác giả
Platzer, André
1
Loại trừ kết quả phù hợp
Sutcliffe, Geoff
1
Loại trừ kết quả phù hợp
Yoshida, Nobuko
1
Loại trừ kết quả phù hợp
Chủ đề
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
2
Loại trừ kết quả phù hợp
Computer programming / software engineering
2
Loại trừ kết quả phù hợp
Logics and Meanings of Programs
2
Loại trừ kết quả phù hợp
Software Engineering
2
Loại trừ kết quả phù hợp
computer programming
2
Loại trừ kết quả phù hợp
hơn ...
formal logic
2
Loại trừ kết quả phù hợp
semantics
2
Loại trừ kết quả phù hợp
software design
2
Loại trừ kết quả phù hợp
software quality
2
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
Loại trừ kết quả phù hợp
Artificial Intelligence
1
Loại trừ kết quả phù hợp
Compilers & interpreters
1
Loại trừ kết quả phù hợp
Compilers and Interpreters
1
Loại trừ kết quả phù hợp
Computer Engineering and Networks
1
Loại trừ kết quả phù hợp
Computer Systems Organization and Communication Networks
1
Loại trừ kết quả phù hợp
Computer networking & communications
1
Loại trừ kết quả phù hợp
Formal Languages and Automata Theory
1
Loại trừ kết quả phù hợp
Mathematical Logic and Formal Languages
1
Loại trừ kết quả phù hợp
Mathematical theory of computation
1
Loại trừ kết quả phù hợp
Natural Language Processing (NLP)
1
Loại trừ kết quả phù hợp
Natural language & machine translation
1
Loại trừ kết quả phù hợp
Programming & scripting languages: general
1
Loại trừ kết quả phù hợp
Programming Languages, Compilers, Interpreters
1
Loại trừ kết quả phù hợp
automata theory
1
Loại trừ kết quả phù hợp
boolean functions
1
Loại trừ kết quả phù hợp
concurrency theory
1
Loại trừ kết quả phù hợp
distributed computer systems
1
Loại trừ kết quả phù hợp
Xem tất cả ...
ít hơn ...
Ngôn ngữ
Inglês
2
Loại trừ kết quả phù hợp
Năm của ấn phẩm
Từ ngày:
Tới ngày:
Năm của ấn phẩm
Dọn dẹp
×
Đang tải...