其他書名 | 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers |
出版 | Springer Science & Business Media, 1997-06-18 |
主題 | Computers / Artificial Intelligence / GeneralComputers / Computer ArchitectureComputers / Computer ScienceComputers / Information TechnologyComputers / Logic DesignComputers / Machine TheoryComputers / Programming / GeneralComputers / Software Development & Engineering / Systems Analysis & DesignComputers / Hardware / GeneralMathematics / Discrete MathematicsMathematics / Logic |
ISBN | 35406317209783540631729 |
URL | http://books.google.com.hk/books?id=DsFJ4ETmnEEC&hl=&source=gbs_api |
EBook | SAMPLE |