1. Computational Logic - CL 2000 :
المؤلف: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
2. Sets-relations-functions
المؤلف: SELBY,SAMUEL
المکتبة: (طهران)
موضوع: SET THEORY , FUNCTIONS , ALGEBRA,ABSTRACTS
رده :
QA
248
.
3
.
S4
1969
