00935nam0-22003251i-450-99000048622040332120090519135309.00-471-19874-9000048622FED01000048622(Aleph)000048622FED0100004862220020821d1973----km-y0itay50------baenga-------001yyCommunication networks for computersDonald W. Davies, Derek L. A. BarberLondon ; New YorkJ. Wiley & sons©1973575 p.ill.24 cmWiley series in computingReti di elaboratori621.319'2Davies,Donald WattsBarber,Derek Leslie ArthurITUNINARICAUNIMARCBK99000048622040332110 C 240/A8097DINEL10 C 240/B409 DISDINELDINELUNINA07005nam 22008295 450 99646542690331620200705165718.03-540-27818-410.1007/b100478(CKB)1000000000212550(DE-He213)978-3-540-27818-4(SSID)ssj0000199100(PQKBManifestationID)11204108(PQKBTitleCode)TC0000199100(PQKBWorkID)10185603(PQKB)11433818(MiAaPQ)EBC3088496(PPN)155164899(EXLCZ)99100000000021255020121227d2004 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierMathematical Knowledge Management[electronic resource] Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings /edited by Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (X, 398 p.)Lecture Notes in Computer Science,0302-9743 ;3119Bibliographic Level Mode of Issuance: Monograph3-540-23029-7 Includes bibliographical references and index.Copyright Issues for MKM -- Efficient Retrieval of Mathematical Statements -- Formalizing Set Theory as it Is Actually Used -- Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles -- Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics -- Mathematical Service Matching Using Description Logic and OWL -- C-CoRN, the Constructive Coq Repository at Nijmegen -- Classifying Differential Equations on the Web -- Managing Heterogeneous Theories within a Mathematical Knowledge Repository -- Rough Concept Analysis – Theory Development in the Mizar System -- A Path to Faithful Formalizations of Mathematics -- Flexible Encoding of Mathematics on the Computer -- CPoint: Dissolving the Author’s Dilemma -- On Diagrammatic Representation of Mathematical Knowledge -- Predicate Logic with Sequence Variables and Sequence Function Symbols -- A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics -- Theorem Proving and Proof Verification in the System SAD -- Adaptive Access to a Proof Planner -- Modeling Interactivity for Mathematics Learning by Demonstration -- Extraction of Logical Structure from Articles in Mathematics -- Improving Mizar Texts with Properties and Requirements -- An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics -- Intuitive and Formal Representations: The Case of Matrices -- Mathematical Libraries as Proof Assistant Environments -- Efficient Ambiguous Parsing of Mathematical Formulae -- An Architecture for Distributed Mathematical Web Services -- The Categorial Type of OpenMath Objects.The International Conference on Mathematical Knowledge Management has now reached its third edition, creating and establishing an original and stimulating scientific community transversal to many different fields and research topics. The broad goal of MKM is the exploration of innovative, semantically enriched, digital encodings of mathematical information, and the study of new services and tools exploiting the machine-understandable nature of the information. MKM is naturally located in the border area between digital libraries and the mec- nization of mathematics, devoting a particular interest to the new developments in information technology, and fostering their application to the realm of ma- ematical information. The conference is meant to be a forum for presenting, discussing and comparing new tools and systems, standardization e?orts, critical surveys, large experiments,and case studies. At present, we are still getting to know each other, to understand the work done by other people, and the potentialities offered by their work to our own research activity. However, the conference is rapidly acquiring scienti?c strength and academic interest, attracting more and more people and research groups, and offering a challenging alternative to older, more conservative conferences. July 2004 Andrea Asperti Grzegorz Bancerek Andrzej Trybulec Organization MKM 2004 was organized by the Institute of Computer Science, University of Bialystok in co-operation with the Faculty of Computer Science, Bialystok Technical University and the Association of Mizar Users. Program Committee Andrzej Trybulec (Chair) University of Bialystok, Poland Andrew A. Adams University of Reading, UK Andrea Asperti University of Bologna, Italy Bruno Buchberger RISC Linz, Austria Roy McCasland University of Edinburgh, UK James Davenport University of Bath, UK William M.Lecture Notes in Computer Science,0302-9743 ;3119Computer softwareInformation storage and retrievalApplication softwareArtificial intelligenceDatabase managementComputer communication systemsMathematical Softwarehttps://scigraph.springernature.com/ontologies/product-market-codes/M14042Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Database Managementhttps://scigraph.springernature.com/ontologies/product-market-codes/I18024Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Computer software.Information storage and retrieval.Application software.Artificial intelligence.Database management.Computer communication systems.Mathematical Software.Information Storage and Retrieval.Information Systems Applications (incl. Internet).Artificial Intelligence.Database Management.Computer Communication Networks.510/.285Asperti Andreaedthttp://id.loc.gov/vocabulary/relators/edtBancerek Grzegorzedthttp://id.loc.gov/vocabulary/relators/edtTrybulec Andrzejedthttp://id.loc.gov/vocabulary/relators/edtMKM 2004MiAaPQMiAaPQMiAaPQBOOK996465426903316Mathematical Knowledge Management771964UNISA01456nam 2200373 450 991030415680332120230814230638.01-5386-5577-2(CKB)4100000007377521(WaSeSS)IndRDA00121930(EXLCZ)99410000000737752120200416d2018 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2018 IEEE 24th International Symposium for Design and Technology in Electronic Packaging? 25-28 October 2018, Iasi, Romania /Institute of Electrical and Electronics EngineersPiscataway, New Jersey :Institute of Electrical and Electronics Engineers,2018.1 online resource (113 pages)1-5386-5578-0 Electronic packagingTechnological innovationsCongressesElectronic apparatus and appliancesCongressesElectronic packagingDesign and constructionCongressesElectronic packagingTechnological innovationsElectronic apparatus and appliancesElectronic packagingDesign and construction621.381WaSeSSWaSeSSPROCEEDING99103041568033212018 IEEE 24th International Symposium for Design and Technology in Electronic Packaging2520620UNINA