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

1
Published 2011
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

2
Published 2023
Springer Nature Switzerland
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

3
Published 2023
Springer Nature Switzerland
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

4
Published 2024
Springer Nature Switzerland
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

5
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Countable Scattered Linear Orderings -- The Logic of Proofs as a Foundation for Certifying Mobile...”
Cover Image
Read Now

6
Published 2013
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

7
Published 2018
Springer International Publishing
Table of Contents: “... Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs...”
Cover Image
Read Now

8
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- Decision problems for cellular automata and their semigroups -- On the nature of events -- New parallel...”
Cover Image
Read Now

9
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...An Exact 2.9416 n Algorithm for the Three Domatic Number Problem -- D-Width: A More Natural Measure...”
Cover Image
Read Now

10
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Constructive aspects of the omega-rule : Application to proof systems in computer science...”
Cover Image
Read Now

11
Published 2024
Springer Nature Switzerland
Subjects: “...Computer science...”
Cover Image
Read Now

12
Published 2024
Springer Nature Switzerland
Subjects: “...Computer science...”
Cover Image
Read Now

13
Published 2023
Springer Nature Switzerland
Subjects: “...Computer science...”
Cover Image
Read Now

14
Published 2019
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

15
Published 2021
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

16
Published 2017
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

17
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... programming languages -- Towards a theory of commonsense visual reasoning -- Natural language processing...”
Cover Image
Read Now

18
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- Incremental evaluation of natural semantics specifications -- Denotations for classical proofs -Preliminary...”
Cover Image
Read Now

19
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Some observations about the nature of computer science -- Essential intersection type assignment...”
Cover Image
Read Now

20
Published 2018
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”