MPG.eBooks - Search Results - "Mathematical Logic And Foundations"

Search alternatives:
mathematical » mathematics

Cover Image

1

Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

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

Cover Image

2

Theory Reasoning in Connection Calculi

by Baumgartner, Peter
Published 1998

Springer Berlin Heidelberg

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