Record:   Prev Next
作者 Federated Logic Conference (2010 : Edinburgh, UK)
書名 FLoC 2010 [electronic resource] : Federated Logic Conference, Edinburgh, UK, July 9-21, 2010, Edinburgh, UK : &co-located meetings, included: FLoC 2010, CAV 2010, CSF 2010, ICLP 2010, IJCAR 2010, ITP 2010, LICS 2010, RTA 2010, SAT 2010 / sponsored by Engineering and Physical Sciences Research Council
出版項 Edinburgh, UK : EPSRC, 2010
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室會議論文區  Proc F4.1 F293 2010  CD-ROM    館內使用    30330000225099
說明 1 optical disc : ill. ; 4 3/4 in.
附註 Automated reasoning (IJCAR 2010) -- Theory and applications of satisfiability testing (SAT 2010) -- Time for verification -- Computer aided verification (CAV 2010) -- Interactive theorem proving (ITP 2010)
Alt Title FLoC 2010
CAV 2010
CSF 2010
ICLP 2010
IJCAR 2010
ITP 2010
LICS 2010
RTA 2010
SAT 2010
Federated Logic Conference
Automated reasoning (IJCAR 2010)
Theory and applications of satisfiability testing (SAT 2010)
Time for verification
Computer aided verification (CAV 2010)
Interactive theorem proving (ITP 2010)
Record:   Prev Next