

Dynamics in Logic and Language
611,-

Robust Argumentation Machines
1 340,-

Logic and Its Applications
674,-

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
854,-

Practical Aspects of Declarative Languages
791,-

Logic and Its Applications
674,-

Logic, Language, Information, and Computation
584,-

Logical Foundations of Computer Science
584,-

Formal Methods Teaching
649,-

Logic-Based Program Synthesis and Transformation
512,-

Dynamics in Logic and Language
611,-

Robust Argumentation Machines
1 340,-

Logic and Its Applications
674,-

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
854,-

Practical Aspects of Declarative Languages
791,-

Logic and Its Applications
674,-

Logic, Language, Information, and Computation
584,-

Logical Foundations of Computer Science
584,-

Formal Methods Teaching
649,-

Logic-Based Program Synthesis and Transformation
512,-














