Cover of Logical environments

An edition of Logical environments (1993)

Logical environments

By G. Plotkin

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1993

Publisher

Cambridge University Press

Language

eng

Pages

338

Description:

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