Welcome to the PC Owl Web Directory.
PC Owl Web Directory

HOME & FURNISHINGS

KIDS & TEENS

SOCIETY

SCIENCE

ADD URL

Science -> Math -> Logic and Foundations -> Computational Logic -> Logical Frameworks -> LF Logical Framework




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.



Directories | Social Sciences | Agriculture | Astronomy | Instruments and Supplies | Technology | Educational Resources | Reference | Search Engines | Environment | Software | Anomalies and Alternative Science | Physics | Conferences | Math | Chemistry | Publications | Earth Sciences | Employment | Biology | Institutions | Methods and Techniques | News | Science in Society | Chats and Forums
Software | Employment | Video and Audio | South America | Erythropalaceae | Cheirodendron | Iowa | Research Centers and Laboratories | Dravidian | Aerospace | Cane Fruits | Tyrannosaurids | Visual Anthropology | Research Groups | Pterygota | Basque | American Sign Language | United Kingdom | Pterigynandraceae | Solar System | Organizations | Graptopetalum | High Level Synthesis | Aphthona | Learning | Micropaleontology | Books | Pacific Southwest Airlines | Labordia | Books | Aspidiaceae | Strauss, Leo | Hottonia | Psittaciformes | Cyrtomium | British Studies | Tower of Hanoi | Hylocomiaceae | Missouri | Directories | Ireland | Tides | Oxalidaceae | Forth Rail Bridge | Virtual Zoos | Andropogon | Electron Microscopes | Alabama | National Societies | Journals
<


Submit URL - Add your Website

Web Directory       Home & Furnishings       Kids & Teens       Society      Science      Add URL

© 2004 PC Owl Web Directory