عنوان

Handbook of Logic in Computer Science

:0198537816 (v. 5)

34201

انگلیسی

Handbook of Logic in Computer Science

[electronic resources]

Edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum

Oxford :

: Clarendon Press; New York: Oxford University Press

, 2000

:ill.

;25 cm.

Cataloging Based on v.5.

Index

Bibliography

v. 5. Logic and algebraic methods

Computer science

Logic, Symbolic and mathematical

علوم کامپیوتر

منطق ریاضی

E-Book

Abramsky, Samson,1953-

Gabbay, Dov M.,1945-

Maibaum, Thomas S. E.,1947-

ایران

20180515091632.0

0198537816v5.pdf

http://www.loc.gov/catdir/enhancements/fy0606/92000510-d.html

http://www.loc.gov/catdir/enhancements/fy0606/92000510-t.html

279177