LEADER 02535oam 2200565I 450 001 9910465005803321 005 20170821192226.0 010 $a1-315-04757-8 010 $a1-135-52374-6 024 7 $a10.4324/9781315047577 035 $a(CKB)3710000000106271 035 $a(EBL)1683630 035 $a(SSID)ssj0001195781 035 $a(PQKBManifestationID)11670204 035 $a(PQKBTitleCode)TC0001195781 035 $a(PQKBWorkID)11179657 035 $a(PQKB)11403265 035 $a(MiAaPQ)EBC1683630 035 $a(OCoLC)882264211 035 $a(EXLCZ)993710000000106271 100 $a20180706e20131995 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aManuscript sources of medieval medicine $ea book of essays /$fedited by Margaret R. Schleissner 210 1$aLondon ;$aNew York :$cRoutledge,$d2013. 215 $a1 online resource (225 p.) 225 1 $aGarland Medieval Casebook ;$vVolume 8 300 $aFirst published 1995 by Garland Pub. 311 $a1-138-98038-2 311 $a0-8153-0815-9 320 $aIncludes bibliographical references and indexes. 327 $aCover; Half Title; Title Page; Copyright Page; Table of Contents; Acknowledgments; Introduction; Prolegomena to a History of Medieval German Medical Literature: The Twelfth Century; The Textual Transmission of the Codex Berleburg; Harley MS 2558: A Fifteenth-Century Medical Commonplace Book; A Reevaluation of Saint Hildegard's Physica in Light of the Latest Manuscript Finds; Medicine in the Twelve Books on Rural Practices of Petrus de Crescentiis; Medicine in Medieval Calendar Manuscripts; Manuscript Sources for Birth Control; The Medical Manuscripts of the Bibliotheca Palatina 327 $aMultitudes of Middle English Medical Manuscripts, or the Englishing of Science and MedicineContributors; Index of Manuscripts; Index 330 $aFirst Published in 1995. Routledge is an imprint of Taylor & Francis, an informa company. 410 0$aGarland reference library of the humanities.$pGarland medieval casebooks ;$vVolume 8. 606 $aMedicine, Medieval$xHistory$vSources 608 $aElectronic books. 615 0$aMedicine, Medieval$xHistory 676 $a610/.9/02 701 $aSchleissner$b Margaret Rose$0968312 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910465005803321 996 $aManuscript sources of medieval medicine$92199273 997 $aUNINA LEADER 07005nam 22008295 450 001 996465426903316 005 20200705165718.0 010 $a3-540-27818-4 024 7 $a10.1007/b100478 035 $a(CKB)1000000000212550 035 $a(DE-He213)978-3-540-27818-4 035 $a(SSID)ssj0000199100 035 $a(PQKBManifestationID)11204108 035 $a(PQKBTitleCode)TC0000199100 035 $a(PQKBWorkID)10185603 035 $a(PQKB)11433818 035 $a(MiAaPQ)EBC3088496 035 $a(PPN)155164899 035 $a(EXLCZ)991000000000212550 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMathematical Knowledge Management$b[electronic resource] $eThird International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings /$fedited by Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (X, 398 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3119 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-23029-7 320 $aIncludes bibliographical references and index. 327 $aCopyright 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. 330 $aThe 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3119 606 $aComputer software 606 $aInformation storage and retrieval 606 $aApplication software 606 $aArtificial intelligence 606 $aDatabase management 606 $aComputer communication systems 606 $aMathematical Software$3https://scigraph.springernature.com/ontologies/product-market-codes/M14042 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aComputer software. 615 0$aInformation storage and retrieval. 615 0$aApplication software. 615 0$aArtificial intelligence. 615 0$aDatabase management. 615 0$aComputer communication systems. 615 14$aMathematical Software. 615 24$aInformation Storage and Retrieval. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aArtificial Intelligence. 615 24$aDatabase Management. 615 24$aComputer Communication Networks. 676 $a510/.285 702 $aAsperti$b Andrea$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBancerek$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTrybulec$b Andrzej$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aMKM 2004 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465426903316 996 $aMathematical Knowledge Management$9771964 997 $aUNISA