عنوان
پدید آورنده
موضوع
رده
QA 76.63 .A8 L6
QA
76
.
63
.
A8
L6
کتابخانه
محل استقرار
استان: خراسان الجنوبیة ـ شهر: بیرجند
40326
Automated deduction - A Basis for applications
Dordrecht
Kluwer Academic publishers
1998
V
applied logic series; V.01
Includes bibliographies and index
edited by wolfgang Bibel, Peter H. Schmitt
، Logic programming
، Logic )mathematics(
QA
76
.
63
.
A8
L6
TI
AU rotide ,ynagfloW ,lebiB
AU rotide ,.H reteP ,ttimhcS
SE
