عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook12464
eng
Logical foundations of computer science
:LFCS 2007. ;
Berlin ;New York :
: Springer,
, 2007.
Print
Computer science ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Programa??o l?gica (congressos) ; larpcal. ; Ci??ncia da computa??o (congressos) ; larpcal. ;
; -Artemov, S. N. ; Nerode, Anil, ; 1932
old catalog
