02867nam 22007215 450 99646569680331620230330060107.03-319-94821-010.1007/978-3-319-94821-8(CKB)3850000000034637(DE-He213)978-3-319-94821-8(MiAaPQ)EBC6286358(PPN)229502407(EXLCZ)99385000000003463720180703d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierInteractive Theorem Proving[electronic resource] 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /edited by Jeremy Avigad, Assia Mahboubi1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XVII, 642 p. 103 illus.) Theoretical Computer Science and General Issues,2512-2029 ;108953-319-94820-2 Includes bibliographical references and index.Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Theoretical Computer Science and General Issues,2512-2029 ;10895Machine theorySoftware engineeringArtificial intelligenceComputer scienceCompilers (Computer programs)Electronic digital computers—EvaluationFormal Languages and Automata TheorySoftware EngineeringArtificial IntelligenceComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersSystem Performance and EvaluationMachine theory.Software engineering.Artificial intelligence.Computer science.Compilers (Computer programs).Electronic digital computers—Evaluation.Formal Languages and Automata Theory.Software Engineering.Artificial Intelligence.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.System Performance and Evaluation.004.015113Avigad Jeremyedthttp://id.loc.gov/vocabulary/relators/edtMahboubi Assiaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465696803316Interactive Theorem Proving2010767UNISA01120nam0 22002891i 450 UON0005066420231205102224.58020020107d1984 |0itac50 baengUS|||| 1||||ˆA ‰theory of economic systemsManuel GottliebOrlandoAcademic Press1984XXI, 449 p.22 cm001UON000666892001 Studies in social discontinuityEconomia politicaUONC008154FIUSOrlando (Florida)UONL002330IG XIIINTERESSE GENERALE - ECONOMIAAGOTTLIEBManuelUONV031990228922Academic PressUONV246968650ITSOL20250704RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00050664SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI IG XII 051 SI SA 43762 5 051 SVILUPPO ECONOMICOEconomia politicaUONC001314Theory of economic systems578973UNIOR