عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
:9780817635305
28540
انگلیسی
Graph-Based Proof Procedures for Horn Clauses
[electronic resources]
\ Stan Raatz
Boston
: Birkhaüser
, 1990
147p.
Progress in Computer Science and Applied Logic
; V.10
Bibliography
Logic programming
Horn clauses
برنامهنویسی منطقی
E-Book
,
Raatz, Stan
ایران
9780817635305.pdf
BL
279177
1
a
N
