edited by Peter J. Stuckey
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
電子ブック2008
機械可読データファイル -- リモートファイル (wr)
: v.: digital
英語 (eng)
英語 (eng)
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Computer Appl. in Administrative Data Processing
9783540859581 (: electronic bk)