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

1081

Zur Logik der Logik-Programmierung : Ein konstruktiver Ansatz

by Beckstein, Clemens
Published 1988

Springer Berlin Heidelberg

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

Read Now

1082

New Developments in Formal Languages and Applications

Published 2008

Springer Berlin Heidelberg

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

Read Now

1083

Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Published 2009

Springer Berlin Heidelberg

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

Read Now

1084

Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

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

Read Now

1085

Logic Programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

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

Read Now

1086

Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

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

Read Now

1087

Logical Foundations of Cyber-Physical Systems

by Platzer, André
Published 2018

Springer International Publishing

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

Read Now

1088

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

Published 2000

Springer Berlin Heidelberg

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

Read Now

1089

Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Published 1989

Springer Berlin Heidelberg

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

Read Now

1090

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

Published 1989

Springer Berlin Heidelberg

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

Read Now

1091

Application and Theory of Petri Nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

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

Read Now

1092

Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings

Published 1999

Springer Berlin Heidelberg

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

Read Now

1093

Graph Grammars and Their Application to Computer Science : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.

Published 1996

Springer Berlin Heidelberg

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

Read Now

1094

Distributed Artificial Intelligence: Architecture and Modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings

Published 1996

Springer Berlin Heidelberg

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

Read Now

1095

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

1096

Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

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

Read Now

1097

Fuzzy Logic in Artificial Intelligence : IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings

Published 1994

Springer Berlin Heidelberg

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

Read Now

1098

Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers

Published 1998

Springer Berlin Heidelberg

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

Read Now

1099

Handbook of Model Checking

Published 2018

Springer International Publishing

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

Read Now

1100

Adaptive Resonance Theory Microchips : Circuit Design Techniques

by Serrano-Gotarredona, Teresa, Linares-Barranco, Bernabé, Andreou, Andreas G.
Published 1998

Springer US

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

Narrow Search