Computation as logic

Saved in:
Bibliographic Details
Main Author: Lalement, Rene
Format: Book
Published: Paris Masson 1993
Series:Prentice Hall international series in computer science
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000n a2200000 a 4501
001 wils-141180
005 20211189247
020 # # |a 0137700091 
090 0 0 |a QA76.63  |b .L3513 1993 
100 1 # |a Lalement, Rene 
240 1 1 |a Logic, reduction, resolution.  |l English 
245 1 1 |a Computation as logic  |c Rene Lalement ; translated by John Plaice 
260 # # |a Paris  |b Masson  |c 1993 
300 # # |a xi, 387 p.  |b ill.  |c 24 cm 
490 1 # |a Prentice Hall international series in computer science 
504 # # |a Includes bibliographical references (p. 370-377) and index 
650 # 0 |a Functional programming (Computer science) 
650 # 0 |a Logic, Symbolic and mathematical 
650 # 0 |a Logic programming 
856 4 0 |z Click Here to View Status and Holdings.  |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=141180 
964 # # |c BOK  |d 01 
040 # # |a Shah Alam