عنوان
پدید آورنده
موضوع
رده
QA 76.63 .B87 1996
QA
76
.
63
.
B87
1996
کتابخانه
محل استقرار
CE H1 O1
Burke, Edmund
Logic and its applications
London
Prentice Hall
1996
xviii, 310 p. : ill
Prentice-Hall international series in computer science
Includes bibliographical references and index
Logic programming
Logic, Symbolic and mathematical
QA
76
.
63
.
B87
1996
AU
Edmund Burke and Eric Foxley
English
