Logical frameworks
Logical frameworks
G. Plotkin
Details
OL Work ID
OL16972407W
Subjects
Logic
Frames (Information theory)
Automatic theorem proving
Symbolic and mathematical Logic
Logic programming
Find this book
Open Library