"Working with First Order Proofs and Provers."

Michael A. Raskin, Christoph Welzel (2019)

Details and statistics

DOI: 10.5281/ZENODO.2633990

access: open

type: Conference or Workshop Paper

metadata version: 2019-12-27