Cover of Logic Programming

An edition of Logic Programming (1992)

Logic programming

operational semantics and proof theory

By James H. Andrews,J. Andrews

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1992

Publisher

Cambridge University Press

Language

eng

Pages

110

Description:

subjects: Automatic theorem proving, Logic programming, Programming languages (Electronic computers), Semantics, Proof theory