MPG.eBooks - Search Results - "mathematical logic and foundations"

1

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings

Published 2021

Springer Nature Singapore

Subjects: “...Mathematical Logic and Foundations...”

Read Now

2

Complexity Theory Retrospective : In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988

Published 1990

Springer New York

Subjects: “...Mathematical Logic and Foundations...”

Read Now

3

Mathematical Logic : Foundations for Information Science

by Li, Wei
Published 2014

Birkhäuser

Subjects: “...Mathematical Logic and Foundations...”

Read Now

4

Computational Complexity of Solving Equation Systems

by Broniek, Przemysław
Published 2015

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Read Now

5

Logic for Computer Scientists

by Schöning, Uwe
Published 2008

Birkhäuser

Subjects: “...Mathematical Logic and Foundations...”

Read Now

6

Mathematical Logic : Foundations for Information Science

by Li, Wei
Published 2010

Birkhäuser

Subjects: “...Mathematical Logic and Foundations...”

Read Now

7

λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo “Mauro Picone” of the Consi...

Published 1975

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

8

Mathematical Logic for Computer Science

by Ben-Ari, Mordechai
Published 2012

Springer London

Subjects: “...Mathematical Logic and Foundations...”

Read Now

9

An Introduction to the Technique of Formative Processes in Set Theory

by Cantone, Domenico, Ursino, Pietro
Published 2018

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Read Now

10

Automated Theorem Proving

by Bibel, Wolfgang
Published 1987

Vieweg+Teubner Verlag

Subjects: “...Mathematical Logic and Foundations...”

Read Now

11

Software Defect and Operational Profile Modeling

by Kai-Yuan Cai
Published 1998

Springer US

Subjects: “...Mathematical Logic and Foundations...”

Read Now

12

Probability Logics : Probability-Based Formalization of Uncertain Reasoning

by Ognjanović, Zoran, Rašković, Miodrag, Marković, Zoran
Published 2016

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Read Now

13

Conditionals and Modularity in General Logics

by Gabbay, Dov M., Schlechta, Karl
Published 2011

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

14

Rekursive Funktionen

by Lüneburg, Heinz
Published 2002

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

15

Reactive Kripke Semantics

by Gabbay, Dov M.
Published 2013

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

16

Special Topics in Mathematics for Computer Scientists : Sets, Categories, Topologies and Measures

by Doberkat, Ernst-Erich
Published 2015

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Read Now

17

Flexible Query Answering Systems

Published 1997

Springer US

Subjects: “...Mathematical Logic and Foundations...”

Read Now

18

Präzises Denken für Informatiker

by Wolf, Karsten
Published 2017

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

19

DNA Computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers

Published 2001

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

20

Relational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings

Published 2021

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Narrow Search