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)