Foreslåede emner i din søgning.
Đang hiển thị 1 - 20 kết quả của 100 cho tìm kiếm '"Science of Logic"', Forespørselstid: 0.09s Tinh chỉnh kết quả
1
A first course in fuzzy logic
af Nguyen, Hung T.
Udgivet 2006
Fag: “...Neural networks (computer science),Fuzzy logic...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
Føj til favoritter
Đã lưu trong:
2
Fuzzy logic :
af F. Martin McNeill
Udgivet 1994
Fag: “...automatic control,expert systems (computer science),fuzzy logic...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
Føj til favoritter
Đã lưu trong:
3
Conditionals, Information, and Inference
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
4
Argumentation in Artificial Intelligence
af Rahwan, Iyad
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
5
Principles and Practice of Constraint Programming
af Hooker, John
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
6
Logic, Language, and Computation
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
7
Teaching Formal Methods
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
8
Formal Methods in Software and Systems Modeling
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
9
Machine Learning and Data Mining in Pattern Recognition
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
10
Transactions on Rough Sets X
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
11
Theory and Applications of Satisfiability Testing
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
12
Logic and Its Applications
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
13
Formal Concept Analysis
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
14
Coalgebraic Methods in Computer Science
af Cîrstea, Corina
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
15
Natural Language Processing – IJCNLP 2004
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
16
Mechanizing Mathematical Reasoning
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
17
Automated Reasoning with Analytic Tableaux and Related Methods
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
18
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
19
Formal Concept Analysis
af Medina, Raoul, Obiedkov, Sergei
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
20
Interactive Theorem Proving
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning — Gem søgning