Decision Procedures

क्यूआर कोड

Decision Procedures

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखकों:	Kroening, Daniel, Strichman, Ofer
स्वरूप:	पुस्तक
भाषा:	English
प्रकाशित:	Springer Berlin Heidelberg 2020
विषय:	Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs
ऑनलाइन पहुंच:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81958
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

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

समान संसाधन

Scalable Uncertainty Management
द्वारा: Moral, Serafín, और अन्य
प्रकाशित: (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)

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)

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)

Foundations of Software Science and Computation Structures
प्रकाशित: (2020)

Logical Foundations of Computer Science. 1st ed. 2018
द्वारा: Artemov, Sergei, और अन्य
प्रकाशित: (2020)

Correct Reasoning
द्वारा: Erdem, Esra, और अन्य
प्रकाशित: (2020)

Provably Correct Systems. 1st ed. 2017
द्वारा: Hinchey, Mike, और अन्य
प्रकाशित: (2020)

Implementation and Application of Automata. 1st ed. 2017
द्वारा: Carayol, Arnaud, और अन्य
प्रकाशित: (2020)

Developments in Language Theory
द्वारा: Hofman, Piotrek, और अन्य
प्रकाशित: (2020)

Modelling Computing Systems
द्वारा: Moller, Faron, और अन्य
प्रकाशित: (2020)

Models of Strategic Reasoning
द्वारा: Benthem, Johan van, और अन्य
प्रकाशित: (2020)

Descriptional Complexity of Formal Systems. 1st ed. 2017
द्वारा: Pighizzini, Giovanni, और अन्य
प्रकाशित: (2020)

Automated Reasoning and Mathematics
द्वारा: Bonacina, Maria Paola, और अन्य
प्रकाशित: (2020)

Applied Logic for Computer Scientists . 1st ed. 2017
द्वारा: Ayala-Rincón, Mauricio, और अन्य
प्रकाशित: (2020)

Formal Grammar
द्वारा: Bernardi, Raffaella, और अन्य
प्रकाशित: (2020)

Hardware and Software: Verification and Testing
द्वारा: Strichman, Ofer, और अन्य
प्रकाशित: (2020)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
द्वारा: Sichman, Jaime Simao, और अन्य
प्रकाशित: (2020)

Language and Automata Theory and Applications
द्वारा: Martín-Vide, Carlos, और अन्य
प्रकाशित: (2020)