語系
Gopalakrishnan, Ganesh.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theorem proving in higher order logics = 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings /
by:
Slind, Konrad.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bunker, Annette.; SpringerLink (Online service); Gopalakrishnan, Ganesh.
(書目-語言資料,印刷品)
Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
by:
Qadeer, Shaz.; Workshop on the Preservation of Stability under Discretization ((2001 :); Gopalakrishnan, Ganesh.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題