Cover of Logical frameworks

An edition of Logical frameworks (1991)

Logical frameworks

By G. Plotkin

0 (0 Ratings)

1 Want to read0 Currently reading0 Have read

1 Want to read0 Currently reading0 Have read

Publish Date

1991

Publisher

Cambridge University Press

Language

eng

Pages

403

Description:

subjects: Logic, Frames (Information theory), Automatic theorem proving, Symbolic and mathematical Logic, Logic programming, Congresses, Computer science