Elavult böngészőt használ. Előfordulhat, hogy nem jeleníti meg megfelelően ezt vagy más webhelyeket. Frissítsen, vagy használjon alternatívát böngésző.
Free Download Stefan Berghofer, Tobias Nipkow, Christian Urban, "Theorem Proving in Higher Order Logics"
English | 2009 | pages: 528 | ISBN: 364203358X | PDF | 5,4 mb
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics...
Free Download Matt Kaufmann, Lawrence C. Paulson, "Interactive Theorem Proving"
English | 2010 | pages: 504 | ISBN: 3642140513 | PDF | 5,2 mb
This volume contains the papers presented at ITP 2010: the First International ConferenceonInteractiveTheoremProving. It washeldduring July11-14,2010 in...