MPG.eBooks - Search Results - "Logic"

Cover Image

1

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

by Gottlob, Georg
Published 1999

Springer Berlin Heidelberg

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

Cover Image

2

Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

by Gottlob, Georg
Published 1997

Springer Berlin Heidelberg

Subjects: “...Logic, Symbolic and mathematical...”

Cover Image

3

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

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

Cover Image

4

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: “...Computer Science Logic and Foundations of Programming...”

Cover Image

5

Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Cover Image

6

Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Published 2015

Springer International Publishing

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

Cover Image

7

Logic Programming and Databases

by Ceri, Stefano, Gottlob, Georg, Tanca, Letizia
Published 1990

Springer Berlin Heidelberg

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

Cover Image

8

Logic Programming and Nonmonotonic Reasoning : 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings

Published 2022

Springer International Publishing

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