01006nam a2200277 i 450099100148015970753620020507194226.0970224s1966 de ||| | eng b10853224-39ule_instLE01312890ExLDip.to Matematicaeng515.94AMS 32C30Stolzenberg, Gabriel59126Volumes, limits, and extensions of analytic varieties /Gabriel StolzenbergBerlin :Springer-Verlag,196645 p. ;28 cm.Lecture notes in mathematics,0075-8434 ;19Analytic setsAnalytic spaces.b1085322423-02-1728-06-02991001480159707536LE013 32C STO11 (1966)12013000077888le013-E0.00-l- 00000.i1096481228-06-02Volumes, limits, and extensions of analytic varieties83146UNISALENTOle01301-01-97ma -engde 0102948nam 22007095 450 991048313650332120251226195640.03-319-43144-710.1007/978-3-319-43144-4(CKB)3710000000837704(DE-He213)978-3-319-43144-4(MiAaPQ)EBC5579102(PPN)194803880(EXLCZ)99371000000083770420160806d2016 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierInteractive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /edited by Jasmin Christian Blanchette, Stephan Merz1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XVII, 502 p. 88 illus.) Theoretical Computer Science and General Issues,2512-2029 ;98073-319-43143-9 This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.Theoretical Computer Science and General Issues,2512-2029 ;9807Machine theoryComputer scienceAlgorithmsSoftware engineeringElectronic digital computersEvaluationComputer simulationFormal Languages and Automata TheoryComputer Science Logic and Foundations of ProgrammingAlgorithmsSoftware EngineeringSystem Performance and EvaluationComputer ModellingMachine theory.Computer science.Algorithms.Software engineering.Electronic digital computersEvaluation.Computer simulation.Formal Languages and Automata Theory.Computer Science Logic and Foundations of Programming.Algorithms.Software Engineering.System Performance and Evaluation.Computer Modelling.004.015113Blanchette Jasmin Christianedthttp://id.loc.gov/vocabulary/relators/edtMerz Stephanedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483136503321Interactive Theorem Proving2010767UNINA