其他書名 | Second International Conference, Nancy, France, October 1-3, 1990. Proceedings |
出版 | Springer Science & Business Media, 1990-09-20 |
主題 | Computers / Artificial Intelligence / GeneralComputers / Computer ScienceComputers / Information TechnologyComputers / Logic DesignComputers / Programming / GeneralComputers / Languages / GeneralComputers / Software Development & Engineering / GeneralMathematics / Discrete MathematicsMathematics / Logic |
ISBN | 35405316299783540531623 |
URL | http://books.google.com.hk/books?id=uzEXF7NtEGAC&hl=&source=gbs_api |
EBook | SAMPLE |