Logic for Programming, Artificial Intelligence, and Reasoning

Codice QR

Logic for Programming, Artificial Intelligence, and Reasoning

Salvato in:

Dettagli Bibliografici
Natura:	Libro
Lingua:	English
Pubblicazione:	Springer Berlin Heidelberg 2020
Soggetti:	Computer Science Software Engineering/Programming and Operating Systems Programming Techniques
Accesso online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82480
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

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

Documenti analoghi

Logic for Programming, Artificial Intelligence, and Reasoning
di: Sutcliffe, Geoff, et al.
Pubblicazione: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
di: Dershowitz, Nachum, et al.
Pubblicazione: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Pubblicazione: (2020)

Logic Programming
di: Gabbrielli, Maurizio, et al.
Pubblicazione: (2020)

Logic Programming
di: Dahl, Verónica, et al.
Pubblicazione: (2020)

Artificial Intelligence: Theories, Models and Applications
Pubblicazione: (2020)

Inductive Logic Programming
di: Blockeel, Hendrik, et al.
Pubblicazione: (2020)

Inductive Logic Programming
di: Kramer, Stefan, et al.
Pubblicazione: (2020)

Logic-Based Program Synthesis and Transformation
Pubblicazione: (2020)

Automated Reasoning
di: Armando, Alessandro, et al.
Pubblicazione: (2020)

Genetic Programming
di: O'Neill, Michael, et al.
Pubblicazione: (2020)

Advanced Functional Programming
di: Vene, Varmo, et al.
Pubblicazione: (2020)

Datatype-Generic Programming
di: Backhouse, Roland, et al.
Pubblicazione: (2020)

Multi-Agent Programming
Pubblicazione: (2020)

Mathematics of Program Construction
di: Audebaud, Philippe, et al.
Pubblicazione: (2020)

Principles and Practice of Constraint Programming - CP 2005
di: Beek, Peter van
Pubblicazione: (2020)

Principles and Practice of Constraint Programming - CP 2007
di: Bessiere, Christian
Pubblicazione: (2020)

Model Checking and Artificial Intelligence
di: Edelkamp, Stefan, et al.
Pubblicazione: (2020)

Logic Programming and Nonmonotonic Reasoning
di: Baral, Chitta, et al.
Pubblicazione: (2020)

Logics in Artificial Intelligence
Pubblicazione: (2020)

Advances in Artificial Intelligence: From Theory to Practice
di: Benferhat, Salem, et al.
Pubblicazione: (2020)

Advances in Artificial Intelligence: From Theory to Practice
di: Benferhat, Salem, et al.
Pubblicazione: (2020)

Theoretical Aspects of Computing - ICTAC 2008
Pubblicazione: (2020)

Theoretical Aspects of Computing - ICTAC 2009
Pubblicazione: (2020)

Transactions on Petri Nets and Other Models of Concurrency II
Pubblicazione: (2020)

Generative and Transformational Techniques in Software Engineering II
Pubblicazione: (2020)

Software Verification and Validation
di: Fisher, Marcus S.
Pubblicazione: (2020)

Algebraic Methodology and Software Technology
di: Meseguer, José, et al.
Pubblicazione: (2020)

Object-Oriented Technology. ECOOP 2004 Workshop Reader
Pubblicazione: (2020)

Graph Transformations
Pubblicazione: (2020)

Verification, Model Checking, and Abstract Interpretation
Pubblicazione: (2020)

Transactions on Aspect-Oriented Software Development V
Pubblicazione: (2020)

Models in Software Engineering
Pubblicazione: (2020)

Formal Methods and Software Engineering
di: Butler, Michael, et al.
Pubblicazione: (2020)

Semantics and Algebraic Specification
Pubblicazione: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Pubblicazione: (2020)

Touch of Class
Pubblicazione: (2020)

Validated Designs for Object-oriented Systems
Pubblicazione: (2020)

Ada 2005 Rationale
di: Barnes, John
Pubblicazione: (2020)

Automatic Program Development
di: Danvy, Olivier, et al.
Pubblicazione: (2020)