Automated Deduction – CADE-20

QR Kod

Automated Deduction – CADE-20

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Nieuwenhuis, Robert
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82785
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

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

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

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

Automated Deduction – CADE-22
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning and Mathematics
Yazar:: Bonacina, Maria Paola, 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)

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)

Relational and Algebraic Methods in Computer Science
Yazar:: Desharnais, Jules, 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)

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)

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

Logical Foundations of Computer Science. 1st ed. 2018
Yazar:: Artemov, Sergei, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Correct Reasoning
Yazar:: Erdem, Esra, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Provably Correct Systems. 1st ed. 2017
Yazar:: Hinchey, Mike, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Implementation and Application of Automata. 1st ed. 2017
Yazar:: Carayol, Arnaud, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

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

Modelling Computing Systems
Yazar:: Moller, Faron, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Models of Strategic Reasoning
Yazar:: Benthem, Johan van, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Descriptional Complexity of Formal Systems. 1st ed. 2017
Yazar:: Pighizzini, Giovanni, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
Yazar:: Schmidt, Renate A., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
Yazar:: Beckert, Bernhard
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
Yazar:: Olivetti, Nicola
Baskı/Yayın Bilgisi: (2020)