1
Published 2023
Springer Nature Switzerland
Table of Contents: ... for entropies and dimensions -- Computational Complexity -- Elementarily traceable irrational numbers -- Logic...

2
Published 2012
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...

3
by Wirth, Laura
Published 2022
Springer Fachmedien Wiesbaden
Table of Contents: ...Introduction -- Languages, Automata and Monadic Second-Order Logic -- Weighted Automata...

4
Published 2013
Springer International Publishing
Table of Contents: ... Verification -- Manfred Broy: On the Role of Logic and Algebra in Software Engineering -- Stephen Wolfram: New...

5
by Mignotte, Maurice
Published 1992
Springer New York
Subjects: ...Mathematical logic...

6
Published 2018
Springer International Publishing
Subjects: ...Computer arithmetic and logic units...

7
Published 2018
Springer International Publishing
Subjects: ...Computer arithmetic and logic units...

8
by Rösnick, Carsten
Published 2015
Springer Fachmedien Wiesbaden
Subjects: ...Mathematical logic...

9
by Leitsch, Alexander
Published 1997
Springer Berlin Heidelberg
Table of Contents: ...The Basis of the Resolution Calculus -- First-Order Logic -- Transformation to Clause Form -- Term...

10
by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1995
Springer Berlin Heidelberg
Subjects: ...Mathematical logic...

11
by Benninghofen, Benjamin, Kemmerich, Susanne, Richter, Michael M.
Published 1987
Springer Berlin Heidelberg
Subjects: ...Mathematical logic...

12
by Gregory, R. T., Krishnamurthy, E. V.
Published 1984
Springer New York
Subjects: ...Computer arithmetic and logic units...

13
Published 2019
Springer International Publishing
Subjects: ...Computer arithmetic and logic units...

14
Published 2018
Springer International Publishing
Subjects: ...Computer Science Logic and Foundations of Programming...

15
Published 2015
Springer International Publishing
Subjects: ...Computer arithmetic and logic units...

16
Published 2019
Springer International Publishing
Subjects: ...Computer arithmetic and logic units...

17
Published 2019
Springer International Publishing
Subjects: ...Computer arithmetic and logic units...

18
Published 2019
Springer International Publishing
Subjects: ...Computer arithmetic and logic units...

19
Published 2001
Springer Vienna
Subjects: ...Computer arithmetic and logic units...

20
Published 2018
Springer International Publishing
Subjects: ...Computer arithmetic and logic units...