Logical frameworks
by G. Plotkin
- ISBN
- 0521413001
Logical frameworks is a logic, frames book by G. Plotkin.
Discover Logical frameworks by G. Plotkin, logic.
About the Author
is the author of Logical frameworks. Browse their full catalog on Booklogr.
Explore more books by G. Plotkin →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Logical frameworks?+
Logical frameworks is a Logic, Frames, Automatic theorem proving, Symbolic and mathematical Logic, Logic programming book.
Who wrote Logical frameworks?+
Logical frameworks was written by G. Plotkin.