MPG.eBooks - Search Results - "logic, symbolic and mathematics"

Cover Image

1

Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

by Clote, Peter G
Published 2000

Springer-Verlag Berlin Heidelberg

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