عنوان
پدید آورنده
موضوع
رده
QA,76,.H2785,1992
QA
,
76
,.
H2785
,
1992
کتابخانه
محل استقرار
(v. 1)
0198537352
IR
ebook3352
انگلیسی
IR
Handbook of logic in computer science
[Electronic Resource]
/ edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
Oxford
: Clarendon Press ;New York :Oxford University Press,
, 1992-<2000 >.
v. <1-5 >
: ill. ; 25 cm.
e
Includes bibliographical references and indexes.
v. 1. Background, mathematical structure -- v. 2. Background, computational structure -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods.
Computer science.
Logic, Symbolic and mathematical.
004
QA
,
76
,.
H2785
,
1992
Abramsky, Samson� 1953
Gabbay, Dov M.� 1945
Maibaum, Thomas S. E.� 1947
ایران
004
0198537816.pdf
0
0
old catalog
e
BL
1
a
Y
