其他書名 | Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings |
出版 | Springer Science & Business Media, 1993 |
主題 | Computers / Artificial Intelligence / GeneralComputers / Computer ScienceComputers / Information TechnologyComputers / Logic DesignComputers / Software Development & Engineering / GeneralMathematics / Discrete MathematicsMathematics / History & PhilosophyMathematics / Logic |
ISBN | 35405643309783540564331 |
URL | http://books.google.com.hk/books?id=T-YJ0r0AbqYC&hl=&source=gbs_api |
EBook | SAMPLE |