عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
:9781402067815
42312
انگلیسی
Analysis and Synthesis of Logics
[Electronic book]
: How to Cut and Paste Reasoning Systems
\ by Walter Carnielli...[et.al]
Dordrecht
: Springer
, 2008
xvi, 600 p
:ill
Applied logic series
; v.35
Index
Bibliography
Logic, Symbolic and mathematical.
منطق ریاضی
E-Book
,
Carnielli, Walter Alexandre
9781402067815.pdf
BL
278840
1
