MPG.eBooks - Search Results - "Logic"

Cover Image

1

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Published 1996

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

2

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

by Bertot, Yves
Published 1999

Springer-Verlag Berlin Heidelberg

Subjects: “...Logic design...”

Cover Image

3

Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Pr...

Published 2014

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

4

Introduction to the Theory of Programming Languages

by Dowek, Gilles, Lévy, Jean-Jacques
Published 2011

Springer London

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

5

Principles of Programming Languages

by Dowek, Gilles
Published 2009

Springer London

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

6

Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

7

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”