عنوان
پدید آورنده
موضوع
رده
QA 76 .63 .B87 1996
QA
76
.
63
.
B87
1996
کتابخانه
محل استقرار
112591
بهار۶۷
English
)91(
Burke, Edmund
Logic and its applications
London
Prentice Hall
1996
xviii, 328 p.: ill.; 24 cm
Prentice-Hall international series in computer science
Includes bibliographical references and index
، Logic programming
، Logic, Symbolic and mathematical
QA
76
.
63
.
B87
1996
AU
Burke and Foxley
AU .cirE ,yelxoF
TI
129
