Automated model building /
Leitsch, Alexander, (1952-.)

FindBook      Google Book      Amazon      博客來     
  • Automated model building /
  • 紀錄類型: 書目-語言資料,印刷品 : Monograph/item
    正題名/作者: Automated model building // by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier.
    作者: Caferra, Ricardo,
    其他作者: Leitsch, Alexander,
    出版者: Dordrecht ;Kluwer Academic, : c2004.,
    面頁冊數: xi, 341 p. :ill. ;25 cm.
    叢書名: Applied logic series ;
    標題: Automatic theorem proving. -
    ISBN: 1402026528 (hbk.) :
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W0051429 六樓西文書區HC-Z(6F Western Language Books) 01.外借(書)_YB 一般圖書 QA76.9.A96 C129 2004 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
評論
Export
取書館
 
 
變更密碼
登入