Search alternatives:
science foundation » science education, science communication
natural science » natural sciences
Cover Image
Read Now

1
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... of Indirections in Lazy Natural Semantics -- Model Checking Value-Passing Modal Specifications -- Towards...”
Cover Image
Read Now

2
Published 2016
Springer International Publishing
Table of Contents: “... of Timed Petri Nets -- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic...”
Cover Image
Read Now

3
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Introducing Debugging Capabilities to Natural Semantics -- Solution Strategies for Multi-domain Constraint...”
Cover Image
Read Now

4
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Models -- Characterising Space Complexity Classes via Knuth-Bendix Orders -- Focused Natural Deduction...”
Cover Image
Read Now

5
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... prover -- An application to teaching in logic course of ATP based on natural deduction -- A generic logic...”