[Lecture Notes in Computer Science] Symbolic and Quantitative Approaches to Reasoning and Uncertainty Volume 747 || Belief revision by expansion
- 作者Clarke, Michael; Kruse, Rudolf; Moral, Serafín
- 文件大小481.41KB
- 发表时间1993
- DOI10.1007/BFb0028224
- 页码380-387
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Experience with FORTRAN VERIFIERNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || A user interface design tool.Nichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Formal specifications, prototyping and integration testsNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || TRICS: A testing tool for CNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Automatic program synthesis from data structuresNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || PantaPM: an integrated software development environmentNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Configuration management in an open environmentNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Software design automation in an IPSENichols, Howard; Simpson, Dan · 1987