
Coalgebraic Methods in Computer Science
674,-

Robust Argumentation Machines
1 340,-

Reasoning Web. Declarative Artificial Intelligence
854,-

Formal Methods Teaching
649,-

Automated Deduction in Geometry
431,-

Integration of Constraint Programming, Artificial Intelligence, and Operations Research
584,-

Logic and Its Applications
674,-

Image Analysis and Recognition
1 214,-

Graph Structures for Knowledge Representation and Reasoning
584,-

Formal Methods Teaching
611,-

Coalgebraic Methods in Computer Science
674,-

Robust Argumentation Machines
1 340,-

Reasoning Web. Declarative Artificial Intelligence
854,-

Formal Methods Teaching
649,-

Automated Deduction in Geometry
431,-

Integration of Constraint Programming, Artificial Intelligence, and Operations Research
584,-

Logic and Its Applications
674,-

Image Analysis and Recognition
1 214,-

Graph Structures for Knowledge Representation and Reasoning
584,-

Formal Methods Teaching
611,-