其他書名 | 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007 and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers |
出版 | Springer Science & Business Media, 2010-07-30 |
主題 | Computers / Programming / CompilersComputers / Computer ScienceComputers / Data Science / GeneralComputers / Logic DesignComputers / Programming / GeneralComputers / Languages / GeneralLanguage Arts & Disciplines / Linguistics / GeneralMathematics / Algebra / GeneralMathematics / Discrete MathematicsMathematics / Logic |
ISBN | 36421432109783642143212 |
URL | http://books.google.com.hk/books?id=4moEYcZOKpoC&hl=&source=gbs_api |
EBook | SAMPLE |