Normal view MARC view ISBD view

Logic programming : operational semantics and proof theory

Andrews, James H.

Logic programming : operational semantics and proof theory - - Cambridge : Cambridge University Press, 1992 1992 - xi,104 p. 24 cm - .

ISBN: 0-521-43219-72

Subjects--Topical Terms:

Logic programming

Universal Decimal Class. No.: 681.3.06 And

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)