MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Logics in Artificial Intelligence : European Workshop, JELIA ’98 Dagstuhl, Germany, October 12–15, 1998 Proceedings

Published 1998

Springer Berlin Heidelberg

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

Cover Image

2

Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

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

Cover Image

3

Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

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