MPG.eBooks - Search Results - the lean foundation lectures

Search alternatives:
foundation lectures » foundation features , foundation gestures , foundation structures
lean foundation » design foundation , learning foundations

Cover Image

1

Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Published 2014

Springer International Publishing

Table of Contents: “... -- M lean CoP: A Connection Prover for First-Order Modal Logic -- Optimal Tableaux-Based Decision...”