عنوان
پدید آورنده
موضوع
رده
Q335 .L85 1990
Q335
.
L85
1990
کتابخانه
محل استقرار
0136244467 :
b410326
Non-monotonic reasoning :
[Book]
formalization of commonsense reasoning /
Witold Łukaszewicz
328 pages :
illustrations ;
25 cm
Ellis Horwood series in artificial intelligence
Includes index
Includes bibliographical references (pages [309]-318)
Artificial intelligence
Logic
Reasoning
006
.
3
20
Q335
.
L85
1990
Łukaszewicz, Witold
20141128110407.0
مطالعه متن کتاب [Book]
Y
