Conditionals, Information, and Inference

QR Kod

Conditionals, Information, and Inference

Kaydedildi:

Detaylı Bibliyografya
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science Mathematical Logic and Formal Languages
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81146
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Diagrammatic Representation and Inference
Yazar:: Chapman, Peter, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic, Language, Information, and Computation
Yazar:: Moss, Lawrence S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Foundations of Information and Knowledge Systems
Yazar:: Ferrarotti, Flavio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Deontic Logic in Computer Science
Yazar:: Meyden, Ron van der, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Yazar:: Aguzzoli, S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic, Language, and Computation
Baskı/Yayın Bilgisi: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Baskı/Yayın Bilgisi: (2020)

An Introduction to the Technique of Formative Processes in Set Theory
Yazar:: Cantone, Domenico, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logical Foundations of Cyber-Physical Systems
Yazar:: Platzer, André
Baskı/Yayın Bilgisi: (2020)

Principles and Practice of Constraint Programming
Yazar:: Hooker, John
Baskı/Yayın Bilgisi: (2020)

Principles and Practice of Constraint Programming
Yazar:: Beck, J. Christopher
Baskı/Yayın Bilgisi: (2020)

Case-Based Reasoning Research and Development
Yazar:: Munoz-Avila, Hector, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Chinese Lexical Semantics
Yazar:: Wu, Yunfang, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications
Yazar:: Medina, Jesús, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Yazar:: Antonucci, Alessandro, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Algebraic Biology
Yazar:: Anai, Hirokazu, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Rewriting, Computation and Proof
Yazar:: Comon-Lundh, Hubert, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Yazar:: Vojnar, Tomáš, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

PRIMA 2017: Principles and Practice of Multi-Agent Systems
Yazar:: An, Bo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Interactive Theorem Proving
Yazar:: Ayala-Rincón, Mauricio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Deduction - CADE-21
Yazar:: Pfenning, Frank
Baskı/Yayın Bilgisi: (2020)

Frontiers of Combining Systems
Yazar:: Dixon, Clare, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Verification of Object-Oriented Software. The KeY Approach
Yazar:: Beckert, Bernhard, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Developments in Language Theory
Yazar:: Hoshi, Mizuho, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods in Software and Systems Modeling
Baskı/Yayın Bilgisi: (2020)

Scalable Uncertainty Management
Yazar:: Moral, Serafín, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Deduction – CADE-20
Yazar:: Nieuwenhuis, Robert
Baskı/Yayın Bilgisi: (2020)

Relational and Algebraic Methods in Computer Science
Yazar:: Desharnais, Jules, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning
Yazar:: Galmiche, Didier, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Recent Trends in Algebraic Development Techniques
Yazar:: James, Phillip, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Intelligent Computer Mathematics
Yazar:: Geuvers, Herman, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Programming and Nonmonotonic Reasoning
Yazar:: Balduccini, Marcello, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Decision Procedures
Yazar:: Kroening, Daniel, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Deduction – CADE 26
Yazar:: Moura, Leonardo de
Baskı/Yayın Bilgisi: (2020)

Implementation and Application of Automata
Yazar:: Câmpeanu, Cezar
Baskı/Yayın Bilgisi: (2020)

AI*IA 2017 Advances in Artificial Intelligence
Yazar:: Esposito, Floriana, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic and Its Applications
Baskı/Yayın Bilgisi: (2020)

Foundations of Software Science and Computational Structures
Baskı/Yayın Bilgisi: (2020)

Coalgebraic Methods in Computer Science
Yazar:: Cîrstea, Corina
Baskı/Yayın Bilgisi: (2020)

Algebraic Biology
Baskı/Yayın Bilgisi: (2020)