عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook6060
eng
Logic, language, information and computation
Berlin ;New York :
: Springer,
, 2009.
Print
Logic, Symbolic and mathematical ; Congresses. ; Berechnungstheorie ; Logik ; Kongress ; Tokio <2009> ; Formale Methode ; Kongress ; Tokio <2009> ; Nat?rliche Sprache ; Formale Syntax ; Formale Grammatik ; Kongress ; Tokio <2009> ; Programmierlogik ; Kong
; Queiroz, Ruy J. G. B. de. ; -Ono, Hiroakira. ; Kanazawa, Makoto, ; 1964
old catalog
