LNCS 4732 - Theorem Proving in Higher Order Logics (Frontmatter Pages)
Klaus Schneider & Jens Brandt
Theorem Proving in Higher Order Logics
ปี:
2009
ภาษา:
spanish
ISBN 10:
3540745904
ISBN 13:
9783540745907
ไฟล์:
MOBI , 1.17 MB
IPFS:
,
spanish, 2009