MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Executable Modal and Temporal Logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Published 1995

Springer Berlin Heidelberg

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

Cover Image

2

Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

Published 2012

Springer Berlin Heidelberg

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

Cover Image

3

Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

Published 2010

Springer Berlin Heidelberg

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