Search for
Home > Science > Math > Logic and Foundations > Computational Logic > Logical Frameworks >

LF_Logical_Framework
New! Submit a site
 
whatUseek Collection Sites (submit a site ):
 
Give your site great placement in this category in as little as two business days!
 
 
whatUseek Directory Site Listings:
 
Logic Programming in the LF Logical Framework (1991) - Article by Frank Pfennig describing a logic programming language which serves as a proof search engine for LF.
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek