01772nam0 22003491i 450 UON0016998020231205103049.99520030616d1894 |0itac50 baitaENGTHAIT|||| 1||||Astronomia siamesetradotto da G.E. GeriniManoscrittoBankok 1894Quattro quaderni 20,5x16 cm001UON003705442001 Suriyati or Suriyamasa001UON003705452001 Saram001UON003705462001 Maha-nadi001UON003705472001 crakradipaniASTRONOMIATHAILANDIAUONC034117FITAI XVIIITAILANDIA - SCIENZE PURE ED APPLICATEAGeriniGerolamo EmilioColonnelloUONV0308851589412GERINI, G. E.Gerini, Gerolamo Emilio <Colonnello>UONV225140P'hrah Sarasasn BalakhandhGerini, Gerolamo Emilio <Colonnello>UONV218952ITSOL20240220RICAUON00169980SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI MS TAI 003 (1) SI SA 108624 7 003 (1) SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI MS TAI 003 (2) SI SA 108625 7 003 (2) SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI MS TAI 003 (3) SI SA 108626 7 003 (3) SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI MS TAI 003 (4) SI SA 108627 7 003 (4) Astronomia siamese3897486UNIOR02895nam 22007455 450 991034942650332120251225203744.09783319948218331994821010.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 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 ;108959783319948201 3319948202 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 computersEvaluationFormal 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 computersEvaluation.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/edtMiAaPQMiAaPQMiAaPQBOOK9910349426503321Interactive Theorem Proving2010767UNINA