Theorem Proving in Higher Order Logics

From MaRDI portal

Revision as of 11:04, 9 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5464663

Jump to:navigation, search

DOI10.1007/B100400zbMATH Open1099.68722OpenAlexW2798038182MaRDI QIDQ5464663

Author name not available (Why is that?)

Publication date: 18 August 2005

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100400

Mathematics Subject Classification ID

No records found.

This page was built for publication: Theorem Proving in Higher Order Logics

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

Retrieved from "https://mardi.schubotz.org/w/index.php?title=Publication:5464663&oldid=20245789"