MPG.eBooks - Search Results - "Logic"

Cover Image

1

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...”

Cover Image

2

Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

by Dershowitz, Nachum
Published 2004

Springer Berlin Heidelberg

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

Cover Image

3

Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Published 2020

Springer International Publishing

Subjects: “...Logic in AI....”

Cover Image

4

Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

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

Cover Image

5

Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Published 2010

Springer Berlin Heidelberg

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

Cover Image

6

Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

Published 1995

Springer Berlin Heidelberg

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

Cover Image

7

Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Published 2003

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”