Reasoning Web. Semantic Technologies for Software Engineering More Books Like This

Web Reasoning and Rule Systems Web Reasoning and Rule Systems
Web Reasoning and Rule Systems
2008
Reasoning Web. Semantic Technologies for Information Systems Reasoning Web. Semantic Technologies for Information Systems
Reasoning Web. Semantic Technologies for Information Systems
2009
Semantics and Algebraic Specification Semantics and Algebraic Specification
Semantics and Algebraic Specification
2009
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2008
Rules and Reasoning Rules and Reasoning
Rules and Reasoning
2017
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning
2015
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2018
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2009
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
2010
Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management
Applications of Declarative Programming and Knowledge Management
2013
Logic Programming Logic Programming
Logic Programming
2009
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2011
Engineering Theories of Software Intensive Systems Engineering Theories of Software Intensive Systems
Engineering Theories of Software Intensive Systems
2006
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2015
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
2017