
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
1 340,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-

Conceptual Modeling
584,-

Advances in Conceptual Modeling
584,-

Computational Theory of Mind for Human-Machine Teams
1 214,-

Structured Object-Oriented Formal Language and Method
584,-

Rigorous State-Based Methods
1 340,-

Rigorous State-Based Methods
674,-

Rigorous State-Based Methods
791,-

Automated Reasoning with Analytic Tableaux and Related Methods
674,-

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
1 340,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-

Conceptual Modeling
584,-

Advances in Conceptual Modeling
584,-

Computational Theory of Mind for Human-Machine Teams
1 214,-

Structured Object-Oriented Formal Language and Method
584,-

Rigorous State-Based Methods
1 340,-

Rigorous State-Based Methods
674,-

Rigorous State-Based Methods
791,-

Automated Reasoning with Analytic Tableaux and Related Methods
674,-