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)