isa-afp.org
1
Total Links
1
Wikipedia Pages
1
Subdomains
Topics
Subdomains
Wikipedia Pages Linking to isa-afp.org
Abstract object theory
View on Wikipedia
1 links on this page
Loading...
Wikipedia Links
http://isa-afp.org/entries/PLM.html
Anchor text: "Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL"