00979cam2 2200265 450 E60020004970720220203115752.020090601d1975 |||||ita|0103 bagerDE<<5-6: >>Kunstlehre. Die Musik-KunstlehreDichtkunst. RegisterFriedrich Theodor Vischerhrsg. von Robert VischerHildesheimOlms1975442 p.19 cm001E6002000497042000 Ästhetik, oder Wissenschaft des SchönenVischer, Friedrich TheodorA600200055135070204587Vischer, RobertA600200055136070ITUNISOB20220203RICAUNISOBUNISOB10023202E600200049707M 102 Monografia moderna SBNM100002047-3Si23202acquistomassimoUNISOBUNISOB20090601081804.020220203115752.0bethbKunstlehre. Die Musik-Kunstlehre2573227UNISOB04853nam 22006255 450 99646614390331620200702093931.03-540-48803-010.1007/3-540-58450-1(CKB)1000000000234180(SSID)ssj0000323781(PQKBManifestationID)11258082(PQKBTitleCode)TC0000323781(PQKBWorkID)10300222(PQKB)10167578(DE-He213)978-3-540-48803-3(PPN)155188003(EXLCZ)99100000000023418020121227d1994 u| 0engurnn|008mamaatxtccrHigher Order Logic Theorem Proving and Its Applications[electronic resource] 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings /edited by Thomas F. Melham, Juanito Camilleri1st ed. 1994.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1994.1 online resource (XI, 477 p.) Lecture Notes in Computer Science,0302-9743 ;859Bibliographic Level Mode of Issuance: Monograph3-540-58450-1 LCF examples in HOL -- A graphical tool for proving UNITY progress -- Reasoning about a class of linear systems of equations in HOL -- Towards a HOL theory of memory -- Providing tractable security analyses in HOL -- Highlighting the lambda-free fragment of Automath -- First-order automation for higher-order-logic theorem proving -- Symbolic animation as a proof tool -- Datatypes in L2 -- A formal theory of undirected graphs in higher-order logc -- Mechanical verification of distributed algorithms in higher-order logic -- Tracking design changes with formal verification -- Weak systems of set theory related to HOL -- Interval-semantic component models and the efficient verification of transaction-level circuit behavior -- An interpretation of Noden in HOL -- Reasoning about real circuits -- Binary decision diagrams as a HOL derived rule -- Trustworthy tools for trustworthy programs: A verified verification condition generator -- S: A machine readable specification notation based on higher order logic -- An engineering approach to formal digital system design -- Generating designs using an Algorithmic Register Transfer Language with formal semantics -- A HOL formalisation of the Temporal Logic of Actions -- Studying the ML module system in HOL -- Towards a mechanically supported and compositional calculus to design distributed algorithms -- Simplifying deep embedding: A formalised code generator -- Automating verification by functional abstraction at the system level -- A parameterized proof manager -- Implementational issues for verifying RISC-pipeline conflicts in HOL -- Specifying instruction-set architectures in HOL: A primer -- Representing higher-order logic proofs in HOL.This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.Lecture Notes in Computer Science,0302-9743 ;859ComputersMathematical logicArtificial intelligenceTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computers.Mathematical logic.Artificial intelligence.Theory of Computation.Mathematical Logic and Foundations.Mathematical Logic and Formal Languages.Artificial Intelligence.004/.01/5113Melham Thomas Fedthttp://id.loc.gov/vocabulary/relators/edtCamilleri Juanitoedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466143903316Higher order logic theorem proving and its applications1381960UNISA