mathematical logic and formal languages Kitapları
Bu türde 26 kitap
Theory and Applications of Satisfiability Testing – SAT 2013
Matti Järvisalo
ECOOP 2012 – Object-Oriented Programming
James Noble
Entity-relationship approach, ER '93
International Conference on Entity-Relationship Approach (12th 1993 Arlington, Tex.)
A Proof Theory for Description Logics
Alexandre Rademaker
Developments in Language Theory
Marie-Pierre Béal
Mathematical Foundations of Computer Science 2012
Branislav Rovan
KI 2012: Advances in Artificial Intelligence
Birte Glimm
Verification, Model Checking, and Abstract Interpretation
Roberto Giacobazzi
Objects, Models, Components, Patterns
Carlo A. Furia
New Frontiers in Artificial Intelligence
Manabu Okumura
Mathematics of Program Construction
Jeremy Gibbons
Incomplete Information System and Rough Set Theory
Xibei Yang
Graph Transformations
Hartmut Ehrig
Membrane Computing
Marian Gheorghe
Foundations of Software Science and Computational Structures
Lars Birkedal
Argumentation in Multi-Agent Systems
Peter McBurney
Reasoning Web. Semantic Technologies for Advanced Query Answering
Thomas Eiter
Hardware and Software: Verification and Testing
Armin Biere
Argumentation in Multi-Agent Systems
Peter McBurney
Data Engineering and Management
Rajkumar Kannan