Author :
Andrews, James
Author Statement :
James H.Andrews
Collation :
104 P.
Addition :
,
Title :
Logic Programming: Operational semantics and proof theory
LC Class :
005
LC Number :
.13
LC CutterNumber :
A 568 L
تاريخ ورود اطلاعات :
1385/10/02
Publication Year :
2004
Publication :
cambridge University Press
Subject :
Logic programming,Programming Languages (electronic computers) - Semantics,Distinguihed Dissertation in computer scince
DocumentNumber :
32503
ISBNN :
,
Link To Document :
http://lib1.kashanu.ac.ir//dL/search/default.aspx?Term=10097&Field=0&DTC=2
All Rights Reserved To Payam Mashregh Company
