Record:   Prev Next
作者 Harel, David, 1950-
書名 First-order dynamic logic / David Harel
出版項 Berlin ; New York : Springer-Verlag, 1979
國際標準書號 0387092374
3540092374
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  Ser F4.1 H275  LNCS 68    在架上    30330000010681
 數學所圖書室  QA75.5 .L42  v.68    在架上    30340200132516
說明 133 p. : ill. ; 25 cm
系列 Lecture notes in computer science ; 68
附註 Rev. version of the author's thesis, M.I.T., 1978
Bibliography: p. [127]-133
Includes index
主題 Electronic digital computers -- Programming
Logic, Symbolic and mathematical
Recursion theory
Computational logic iis
Logic programming iis
Record:   Prev Next