Search alternatives:
national science » spatial science, animal science, natural sciences
natural science » natural sciences

1
Published 2016
Springer Berlin Heidelberg
Table of Contents: ...Formal logic -- Computing. -Programming theory -- Natural language and reasoning...

2
Published 2019
Springer Berlin Heidelberg
Table of Contents: ...Formal Logic. Computing. Programming Theory -- Natural Language -- Reasoning...

3
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- Foundations of Satisfiability Modulo Theories -- Logical Form as a Determinant of Cognitive Processes...

4
Published 2009
Springer Berlin Heidelberg
Table of Contents: ...: The Knots Approach -- Mathematical Logic for Life Science Ontologies -- Recognizability in the Simply Typed...

5
Published 2007
Springer Berlin Heidelberg
Table of Contents: ..., Quantum Topology and Quantum Computation -- Symmetries in Natural Language Syntax and Semantics...

6
Published 2008
Springer Berlin Heidelberg
Subjects: ...Computer science...