Advanced »
Find hidden pictures and profiles of all your friends.
Click Here
Name or Email:
Keywords:
Location:
Source:
All
Friendster
hi5
Live Spaces
MySpace
Wikipedia
celebrities
businesspeople
non-celebrities
Age:
to
« Basic
male
female
any
Must have picture
My People
Settings
Logout
Login
Sign Up
1 result for "logical frameworks"
Widget
Suggest merge
Spock Results
Public Records Search
Email Search by Name
Background Check
More details for
"logical frameworks":
Find Email
Hidden Profiles
Address History
Frank Pfenning
male
logical
frameworks
,
Twelf
,
Proof Transformations in Higher-Order Logic
,
programming language theory
,
automated deduction
,
Type theory
Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, at Carnegie Mellon University. He...
Loading...
Cancel
Click the checkboxes next to the names to select results.
Selected: