
















Foundations of Information and Knowledge Systems
584,-

Logical Foundations of Computer Science
584,-

Robust Argumentation Machines
1 340,-

Automated Deduction in Geometry
431,-

Foundations of Software Science and Computation Structures
431,-

Logical Foundations of Computer Science
584,-

Coalgebraic Methods in Computer Science
674,-

Logic and Its Applications
674,-

Practical Aspects of Declarative Languages
791,-

Dynamics in Logic and Language
611,-

Foundations of Information and Knowledge Systems
584,-

Logical Foundations of Computer Science
584,-

Robust Argumentation Machines
1 340,-

Automated Deduction in Geometry
431,-

Foundations of Software Science and Computation Structures
431,-

Logical Foundations of Computer Science
584,-

Coalgebraic Methods in Computer Science
674,-

Logic and Its Applications
674,-

Practical Aspects of Declarative Languages
791,-

Dynamics in Logic and Language
611,-