Logic and Its Applications

Mã QR

Logic and Its Applications

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Khan, Md. Aquil, Manuel, Amaldev
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Software Engineering
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91260
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Theory and Applications of Satisfiability Testing
Bỡi: Hoos, Holger H., et al.
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing - SAT 2009
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing - SAT 2007
Bỡi: Marques-Silva, Joao, et al.
Được phát hành: (2020)

Theory and Applications of Models of Computation. 1st ed. 2017
Bỡi: Gopal, T.V., et al.
Được phát hành: (2020)

Language and Automata Theory and Applications
Bỡi: Martín-Vide, Carlos, et al.
Được phát hành: (2020)

Graph Theory, Computational Intelligence and Thought
Được phát hành: (2020)

Machine Learning: ECML 2007
Bỡi: Kok, Joost N., et al.
Được phát hành: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
Bỡi: Butler, Michael, et al.
Được phát hành: (2020)

KI 2017: Advances in Artificial Intelligence
Bỡi: Kern-Isberner, Gabriele, et al.
Được phát hành: (2020)

Natural Language Processing – IJCNLP 2005
Bỡi: Dale, Robert, et al.
Được phát hành: (2020)

Logic, Language, Information, and Computation. 1st ed. 2017
Bỡi: Kennedy, Juliette, et al.
Được phát hành: (2020)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
Bỡi: Sichman, Jaime Simao, et al.
Được phát hành: (2020)

Logic and Its Applications
Được phát hành: (2020)

Logics of Specification Languages
Bỡi: Bjørner, Dines, et al.
Được phát hành: (2020)

AI 2015: Advances in Artificial Intelligence
Bỡi: Pfahringer, Bernhard, et al.
Được phát hành: (2020)

KI 2019: Advances in Artificial Intelligence
Bỡi: Benzmüller, Christoph, et al.
Được phát hành: (2020)

Numerical Analysis and Its Applications
Bỡi: Dimov, Ivan, et al.
Được phát hành: (2020)

Algorithms and Architectures for Parallel Processing
Bỡi: Ibrahim, Shadi, et al.
Được phát hành: (2020)

High-Performance Scientific Computing
Bỡi: Napoli, Edoardo Di, et al.
Được phát hành: (2020)

Formal Modeling and Analysis of Timed Systems
Bỡi: Abate, Alessandro, et al.
Được phát hành: (2020)

Verification and Evaluation of Computer and Communication Systems
Bỡi: Barkaoui, Kamel, et al.
Được phát hành: (2020)

Advanced Parallel Processing Technologies
Bỡi: Dou, Yong, et al.
Được phát hành: (2020)

Machine Learning and Cognition in Enterprises
Bỡi: Kumar, Rohit
Được phát hành: (2020)

Machine Learning for Decision Makers
Bỡi: Kashyap, Patanjali
Được phát hành: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Được phát hành: (2020)

Logic, Language, and Computation
Được phát hành: (2020)

Applications of Firefly Algorithm and its Variants
Bỡi: Dey, Nilanjan
Được phát hành: (2020)

Finite Model Theory and Its Applications
Bỡi: Grädel, Erich, et al.
Được phát hành: (2020)

Deontic Logic in Computer Science
Bỡi: Meyden, Ron van der, et al.
Được phát hành: (2020)

Computational Science and Its Applications – ICCSA 2017
Bỡi: Gervasi, Osvaldo, et al.
Được phát hành: (2020)

Complexity and Approximation
Bỡi: Du, Ding-Zhu, et al.
Được phát hành: (2020)

Computer Science – Theory and Applications. 1st ed. 2017
Bỡi: Weil, Pascal
Được phát hành: (2020)

Logic, Language, Information and Computation
Được phát hành: (2020)

Logic, Language, Information and Computation
Bỡi: Leivant, Daniel, et al.
Được phát hành: (2020)

Computation and Logic in the Real World
Bỡi: Cooper, Barry S., et al.
Được phát hành: (2020)

Logical Foundations of Cyber-Physical Systems
Bỡi: Platzer, André
Được phát hành: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Bỡi: Aguzzoli, S., et al.
Được phát hành: (2020)

Concise Guide to Formal Methods
Bỡi: O'Regan, Gerard
Được phát hành: (2020)

Mechanizing Mathematical Reasoning
Được phát hành: (2020)