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

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

Cover Image

1

Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Published 2022

Springer International Publishing

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

Cover Image

2

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

by Homer, Steven, Nerode, Anil, Platek, Richard A., Sacks, Gerald E.
Published 1990

Springer Berlin Heidelberg

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

Cover Image

3

Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Published 2020

Springer International Publishing

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

Cover Image

4

Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

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

Cover Image

5

Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

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

Cover Image

6

Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings

Published 1992

Springer Berlin Heidelberg

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

Cover Image

7

Logical Foundations of Computer Science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

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

Cover Image

8

Automata Theory and its Applications

by Khoussainov, Bakhadyr, Nerode, Anil
Published 2001

Birkhäuser

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

Cover Image

9

Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

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

Cover Image

10

Logic for Applications

by Nerode, Anil, Shore, Richard A.
Published 1997

Springer New York

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

Cover Image

11

Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Published 2013

Springer Berlin Heidelberg

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

Cover Image

12

Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

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