Theorem proving in higher order logics. 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10--13, 2007. Proceedings

DOI10.1007/978-3-540-74591-4zbMATH Open1142.68010OpenAlexW4300827681MaRDI QIDQ934001

Author name not available (Why is that?)

Publication date: 29 July 2008

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74591-4

Mathematics Subject Classification ID

No records found.

This page was built for publication: Theorem proving in higher order logics. 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10--13, 2007. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q934001)