عنوان
پدید آورنده
موضوع
رده
QA 76,.9 .C22L6 2011
QA
76
,.
9
.
C22L6
2011
کتابخانه
محل استقرار
9781848213012
750
انگلیسی
Ricardo Caferra
London
ISTE ;Hoboken, NJ :Wiley,
2011
xii, 523 p. , ill. , 24 cm.
Title
000
Includes bibliographical references and index.
Logic for computer science and artificial intelligence
Computer logic
Artificial intelligence
006
C34L
.
3
QA
76
,.
9
.
C22L6
2011
Caferra, Ricardo,1945-
1
English Book
غیرمرجع
