其他書名 | 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers |
出版 | Springer Science & Business Media, 2010-10-27 |
主題 | Computers / Artificial Intelligence / GeneralComputers / Intelligence (AI) & SemanticsComputers / Programming / CompilersComputers / Computer ScienceComputers / Information TechnologyComputers / Logic DesignComputers / Programming / GeneralComputers / Languages / GeneralComputers / Programming Languages / GeneralComputers / Software Development & Engineering / GeneralMathematics / Discrete MathematicsMathematics / Logic |
ISBN | 36421647739783642164774 |
URL | http://books.google.com.hk/books?id=oUzSMNEzcQgC&hl=&source=gbs_api |
EBook | SAMPLE |