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
,
RecordNumber
10097