عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook9583
eng
Logic and automata
[Amsterdam] :
: Amsterdam University Press,
, 2008.
Print
Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
; - ; Wilke, Thomas, ; 1965-Flum, J?rg. ; Gr?del, Erich, ; 1958
old catalog
