Conditionals, Information, and Inference

কিউআর কোড

Conditionals, Information, and Inference

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	Springer Berlin Heidelberg 2020
বিষয়গুলি:	Computer Science Mathematical Logic and Formal Languages
অনলাইন ব্যবহার করুন:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81146
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

অনুরূপ উপাদানগুলি

Diagrammatic Representation and Inference
অনুযায়ী: Chapman, Peter, অন্যান্য
প্রকাশিত: (2020)

Logic, Language, Information, and Computation
অনুযায়ী: Moss, Lawrence S., অন্যান্য
প্রকাশিত: (2020)

Foundations of Information and Knowledge Systems
অনুযায়ী: Ferrarotti, Flavio, অন্যান্য
প্রকাশিত: (2020)

Deontic Logic in Computer Science
অনুযায়ী: Meyden, Ron van der, অন্যান্য
প্রকাশিত: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
অনুযায়ী: Aguzzoli, S., অন্যান্য
প্রকাশিত: (2020)

Logic, Language, and Computation
প্রকাশিত: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
প্রকাশিত: (2020)

An Introduction to the Technique of Formative Processes in Set Theory
অনুযায়ী: Cantone, Domenico, অন্যান্য
প্রকাশিত: (2020)

Logical Foundations of Cyber-Physical Systems
অনুযায়ী: Platzer, André
প্রকাশিত: (2020)

Principles and Practice of Constraint Programming
অনুযায়ী: Hooker, John
প্রকাশিত: (2020)

Principles and Practice of Constraint Programming
অনুযায়ী: Beck, J. Christopher
প্রকাশিত: (2020)

Case-Based Reasoning Research and Development
অনুযায়ী: Munoz-Avila, Hector, অন্যান্য
প্রকাশিত: (2020)

Chinese Lexical Semantics
অনুযায়ী: Wu, Yunfang, অন্যান্য
প্রকাশিত: (2020)

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications
অনুযায়ী: Medina, Jesús, অন্যান্য
প্রকাশিত: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
অনুযায়ী: Antonucci, Alessandro, অন্যান্য
প্রকাশিত: (2020)

Algebraic Biology
অনুযায়ী: Anai, Hirokazu, অন্যান্য
প্রকাশিত: (2020)

Rewriting, Computation and Proof
অনুযায়ী: Comon-Lundh, Hubert, অন্যান্য
প্রকাশিত: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
অনুযায়ী: Vojnar, Tomáš, অন্যান্য
প্রকাশিত: (2020)

PRIMA 2017: Principles and Practice of Multi-Agent Systems
অনুযায়ী: An, Bo, অন্যান্য
প্রকাশিত: (2020)

Interactive Theorem Proving
অনুযায়ী: Ayala-Rincón, Mauricio, অন্যান্য
প্রকাশিত: (2020)

Automated Deduction - CADE-21
অনুযায়ী: Pfenning, Frank
প্রকাশিত: (2020)

Frontiers of Combining Systems
অনুযায়ী: Dixon, Clare, অন্যান্য
প্রকাশিত: (2020)

Verification of Object-Oriented Software. The KeY Approach
অনুযায়ী: Beckert, Bernhard, অন্যান্য
প্রকাশিত: (2020)

Developments in Language Theory
অনুযায়ী: Hoshi, Mizuho, অন্যান্য
প্রকাশিত: (2020)

Formal Methods in Software and Systems Modeling
প্রকাশিত: (2020)

Scalable Uncertainty Management
অনুযায়ী: Moral, Serafín, অন্যান্য
প্রকাশিত: (2020)

Automated Deduction – CADE-20
অনুযায়ী: Nieuwenhuis, Robert
প্রকাশিত: (2020)

Relational and Algebraic Methods in Computer Science
অনুযায়ী: Desharnais, Jules, অন্যান্য
প্রকাশিত: (2020)

Automated Reasoning
অনুযায়ী: Galmiche, Didier, অন্যান্য
প্রকাশিত: (2020)

Recent Trends in Algebraic Development Techniques
অনুযায়ী: James, Phillip, অন্যান্য
প্রকাশিত: (2020)

Intelligent Computer Mathematics
অনুযায়ী: Geuvers, Herman, অন্যান্য
প্রকাশিত: (2020)

Logic Programming and Nonmonotonic Reasoning
অনুযায়ী: Balduccini, Marcello, অন্যান্য
প্রকাশিত: (2020)

Decision Procedures
অনুযায়ী: Kroening, Daniel, অন্যান্য
প্রকাশিত: (2020)

Automated Deduction – CADE 26
অনুযায়ী: Moura, Leonardo de
প্রকাশিত: (2020)

Implementation and Application of Automata
অনুযায়ী: Câmpeanu, Cezar
প্রকাশিত: (2020)

AI*IA 2017 Advances in Artificial Intelligence
অনুযায়ী: Esposito, Floriana, অন্যান্য
প্রকাশিত: (2020)

Logic and Its Applications
প্রকাশিত: (2020)

Foundations of Software Science and Computational Structures
প্রকাশিত: (2020)

Coalgebraic Methods in Computer Science
অনুযায়ী: Cîrstea, Corina
প্রকাশিত: (2020)

Algebraic Biology
প্রকাশিত: (2020)