Theorem Proving with Analytic Tableaux and Related Methods
Peter Baumgartner, Reiner Hähnle, Joachim Posegga
₹5,561
Author
Books by Peter Baumgartner
Showing 1–2 of 2 books
Theory Reasoning in Connection Calculi
Peter Baumgartner
₹5,521
Author
Showing 1–2 of 2 books
Peter Baumgartner, Reiner Hähnle, Joachim Posegga
₹5,561
Peter Baumgartner
₹5,521