MPG.eBooks - Search Results - "Logic, Symbolic And Mathematical"

Search alternatives:
mathematical » mathematics

Cover Image

1

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

2

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

by Goré, Rajeev
Published 2001

Springer-Verlag Berlin Heidelberg

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