MPG.eBooks - Search Results - "Mathematical Logic And Foundations"

61

Berechenbarkeit : Rekursive und Programmierbare Funktionen

by Felscher, Walter
Published 1993

Springer Berlin Heidelberg

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

Read Now

62

Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings

Published 1989

Springer Berlin Heidelberg

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

Read Now

63

Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

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

Read Now

64

Zur Logik der Logik-Programmierung : Ein konstruktiver Ansatz

by Beckstein, Clemens
Published 1988

Springer Berlin Heidelberg

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

Read Now

65

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

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

Read Now

66

The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

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

Read Now

67

Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...

Published 2003

Springer Berlin Heidelberg

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

Read Now

68

Constraints in Computational Logics : First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

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

Read Now

69

Reduktionssysteme : Rechnen und Schließen in gleichungsdefinierten Strukturen

by Avenhaus, Jürgen
Published 1995

Springer Berlin Heidelberg

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

Read Now

70

Algorithms in Invariant Theory

by Sturmfels, Bernd
Published 1993

Springer Vienna

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

Read Now

71

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

72

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

73

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

74

Algorithms in Invariant Theory

by Sturmfels, Bernd
Published 2008

Springer Vienna

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

Read Now

75

Soft Computing for Knowledge Discovery : Introducing Cartesian Granule Features

by Shanahan, James G.
Published 2000

Springer US

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

Read Now

76

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

by Guoqing Chen
Published 1998

Springer US

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

Read Now

77

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

78

The Generic Development Language Deva : Presentation and Case Studies

by Weber, Matthias, Simons, Martin, Lafontaine, Christine
Published 1993

Springer Berlin Heidelberg

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

Read Now

79

Mathematisch-strukturelle Grundlagen der Informatik

by Ehrig, Hartmut, Mahr, Bernd, Cornelius, Felix, Große-Rhode, Martin
Published 1999

Springer Berlin Heidelberg

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

Read Now

80

Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Published 2015

Springer Berlin Heidelberg

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

Narrow Search