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

1141

Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Published 2019

Springer Berlin Heidelberg

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

Read Now

1142

Algorithms and Complexity : 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings

by Petreschi, Rosella, Persiano, Giuseppe, Silvestri, Riccardo
Published 2003

Springer Berlin Heidelberg

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

Read Now

1143

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of S...

Published 2024

Springer Nature Switzerland

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

Read Now

1144

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of S...

Published 2024

Springer Nature Switzerland

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

Read Now

1145

Facets of Uncertainties and Applications : ICFUA, Kolkata, India, December 2013

Published 2015

Springer India

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

Read Now

1146

Fuzzy Logic in Data Modeling : Semantics, Constraints, and Database Design

by Guoqing Chen
Published 1998

Springer US

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

Read Now

1147

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

by Goré, Rajeev
Published 2001

Springer-Verlag Berlin Heidelberg

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

Read Now

1148

Algorithms in Invariant Theory

by Sturmfels, Bernd
Published 2008

Springer Vienna

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

Read Now

1149

Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

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

Read Now

1150

Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

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

Read Now

1151

Handbook of Weighted Automata

Published 2009

Springer Berlin Heidelberg

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

Read Now

1152

Constraints in Computational Logics. Theory and Applications : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

by Comon, Hubert
Published 2001

Springer Berlin Heidelberg

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

Read Now

1153

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of S...

Published 2022

Springer International Publishing

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

Read Now

1154

Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings

Published 2004

Springer Berlin Heidelberg

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

Read Now

1155

Attribute Grammars, Applications and Systems : International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings

Published 1991

Springer Berlin Heidelberg

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

Read Now

1156

Extremal Combinatorics : With Applications in Computer Science

by Jukna, Stasys
Published 2001

Springer Berlin Heidelberg

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

Read Now

1157

Computer Science Logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers

Published 1995

Springer Berlin Heidelberg

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

Read Now

1158

Developments in Language Theory : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings

Published 2005

Springer Berlin Heidelberg

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

Read Now

1159

Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

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

Read Now

1160

Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

by Coquand, Thierry
Published 2000

Springer Berlin Heidelberg

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

Narrow Search