
Formal Concept Analysis
584,-

Verification, Model Checking and Abstract Interpretation
674,-

Verification, Model Checking and Abstract Interpretation
674,-

New Directions in Logic, Language, and Computation
476,-

Practical Aspects of Declarative Languages
584,-

Rigorous Methods for Software Construction and Analysis
584,-

Reasoning Web. Web Logic Rules
584,-

Unifying Theories of Programming and Formal Engineering Methods
584,-

Logic and Argumentation
971,-

The Semantic Web
584,-

Formal Concept Analysis
584,-

Verification, Model Checking and Abstract Interpretation
674,-

Verification, Model Checking and Abstract Interpretation
674,-

New Directions in Logic, Language, and Computation
476,-

Practical Aspects of Declarative Languages
584,-

Rigorous Methods for Software Construction and Analysis
584,-

Reasoning Web. Web Logic Rules
584,-

Unifying Theories of Programming and Formal Engineering Methods
584,-

Logic and Argumentation
971,-

The Semantic Web
584,-