1. Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski
المؤلف: Antonis C. Kakas, Fariba Sadri )eds.(
المکتبة: (طهران)
موضوع: ، Logic programming,، Automatic theorem proving,، Logic programming languages,، Kowalski, Robert
رده :
QA
76
.
L28
Vol
.
2407-2408