edited by D. W. Loveland
Berlin, Heidelberg : Springer-Verlag, 1982
Google Booksで詳細を見る
1
電子ブック
1982
機械可読データファイル -- リモートファイル (wr)
: v.: digital
Lecture Notes in Computer Science ; 138
英語 (eng)
Loveland, D. W.
SpringerLink (Online service)
Computer science
Computer Science
Mathematical Logic and Formal Languages
9783540392408 (: electronic bk)
http://dx.doi.org/10.1007/BFb0000048
Loveland, D. W.SpringerLink (Online service)
Computer scienceComputer ScienceMathematical Logic and Formal Languages