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

Search alternatives:
"mathematical logic and foundations" » "mathematics logic and foundations"

Cover Image

1

Dick de Jongh on Intuitionistic and Provability Logics

Published 2024

Springer International Publishing

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

Cover Image

2

Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings

Published 2024

Springer Nature Switzerland

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

Cover Image

3

Computability and Complexity in Analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers

Published 2001

Springer Berlin Heidelberg

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

Cover Image

4

Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

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

Cover Image

5

Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

Published 2024

Springer Nature Switzerland

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

Cover Image

6

Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September

Published 2002

Springer Berlin Heidelberg

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

Cover Image

7

Unifying Petri Nets : Advances in Petri Nets

Published 2001

Springer Berlin Heidelberg

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

Cover Image

8

Computational Linguistics and Intelligent Text Processing : Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

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