Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
Home
/
Science
/
Math
/
Logic and Foundations
/
Computational Logic
/
Logical Frameworks
/ LF Logical Framework
Web Sites
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.
citeseer.nj.nec.com/pfenning91logic.html
1995-2015 © Stunning, Inc.
