Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The geometry of information retrieval / / C.J. Van Rijsbergen [[electronic resource]]
| The geometry of information retrieval / / C.J. Van Rijsbergen [[electronic resource]] |
| Autore | Van Rijsbergen C. J. <1943-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2004 |
| Descrizione fisica | 1 online resource (xii, 150 pages) : digital, PDF file(s) |
| Disciplina | 025.04 |
| Soggetto topico |
Computer science - Mathematics
Information storage and retrieval systems - Mathematics |
| ISBN |
1-107-15054-X
1-280-54078-8 9786610540785 0-511-21496-0 0-511-21675-0 0-511-21138-4 0-511-31548-1 0-511-54333-6 0-511-21315-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ; 1. Introduction -- ; 2. On sets and kinds for IR -- ; 3. Vector and Hilbert spaces -- ; 4. Linear transformations, operators and matrices -- ; 5. Conditional logic in IR -- ; 6. geometry of IR. |
| Record Nr. | UNINA-9910457607103321 |
Van Rijsbergen C. J. <1943->
|
||
| Cambridge : , : Cambridge University Press, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The geometry of information retrieval / / C.J. Van Rijsbergen [[electronic resource]]
| The geometry of information retrieval / / C.J. Van Rijsbergen [[electronic resource]] |
| Autore | Van Rijsbergen C. J. <1943-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2004 |
| Descrizione fisica | 1 online resource (xii, 150 pages) : digital, PDF file(s) |
| Disciplina | 025.04 |
| Soggetto topico |
Computer science - Mathematics
Information storage and retrieval systems - Mathematics |
| ISBN |
1-107-15054-X
1-280-54078-8 9786610540785 0-511-21496-0 0-511-21675-0 0-511-21138-4 0-511-31548-1 0-511-54333-6 0-511-21315-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ; 1. Introduction -- ; 2. On sets and kinds for IR -- ; 3. Vector and Hilbert spaces -- ; 4. Linear transformations, operators and matrices -- ; 5. Conditional logic in IR -- ; 6. geometry of IR. |
| Record Nr. | UNINA-9910784309003321 |
|
Van Rijsbergen C. J. <1943->
|
||
| Cambridge : , : Cambridge University Press, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The geometry of information retrieval / / C.J. Van Rijsbergen
| The geometry of information retrieval / / C.J. Van Rijsbergen |
| Autore | Van Rijsbergen C. J. <1943-> |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2004 |
| Descrizione fisica | 1 online resource (xii, 150 pages) : digital, PDF file(s) |
| Disciplina | 025.04 |
| Soggetto topico |
Computer science - Mathematics
Information storage and retrieval systems - Mathematics |
| ISBN |
1-107-15054-X
1-280-54078-8 9786610540785 0-511-21496-0 0-511-21675-0 0-511-21138-4 0-511-31548-1 0-511-54333-6 0-511-21315-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ; 1. Introduction -- ; 2. On sets and kinds for IR -- ; 3. Vector and Hilbert spaces -- ; 4. Linear transformations, operators and matrices -- ; 5. Conditional logic in IR -- ; 6. geometry of IR. |
| Record Nr. | UNINA-9910959709603321 |
|
Van Rijsbergen C. J. <1943->
|
||
| Cambridge : , : Cambridge University Press, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The geometry of information retrieval / C.J. Van Rijsbergen
| The geometry of information retrieval / C.J. Van Rijsbergen |
| Autore | Van Rijsbergen, C. J. |
| Pubbl/distr/stampa | Cambridge, England ; New York : Cambridge University Press, 2004 |
| Descrizione fisica | xii, 150 p. : ill. ; 24 cm |
| Disciplina | 025.04 |
| Soggetto topico |
Computer science - Mathematics
Information storage and retrieval systems - Mathematics |
| ISBN | 0521838053 (hb) |
| Classificazione |
LC QA76.9.M35
510.94 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001885749707536 |
|
Van Rijsbergen, C. J.
|
||
| Cambridge, England ; New York : Cambridge University Press, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings / / Jonathan M. Borwein, William M. Farmer (eds.)
| Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings / / Jonathan M. Borwein, William M. Farmer (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (VIII, 295 p.) |
| Disciplina | 511.3/6028563 |
| Altri autori (Persone) |
BorweinJonathan M
FarmerWilliam Michael |
| Collana |
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence |
| Soggetto topico |
Mathematics - Data processing
Information storage and retrieval systems - Mathematics Automatic theorem proving |
| ISBN | 3-540-37106-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Omega Number: Irreducible Complexity in Pure Math -- Roles of Math Search in Mathematics -- Contributed Papers -- Structured Induction Proofs in Isabelle/Isar -- Interpretation of Locales in Isabelle: Theories and Proof Contexts -- A Dynamic Poincaré Principle -- A Proof-Theoretic Approach to Tactics -- A Formal Correspondence Between OMDoc with Alternative Proofs and the -Calculus -- Proof Transformation by CERES -- Synthesizing Proof Planning Methods and ?-Ants Agents from Mathematical Knowledge -- Verifying and Invalidating Textbook Proofs Using Scunak -- Capturing Abstract Matrices from Paper -- Towards a Parser for Mathematical Formula Recognition -- Stochastic Modelling of Scientific Terms Distribution in Publications -- Capturing the Content of Physics: Systems, Observables, and Experiments -- Communities of Practice in MKM: An Extensional Model -- From Notation to Semantics: There and Back Again -- Managing Informal Mathematical Knowledge: Techniques from Informal Logic -- From Untyped to Polymorphically Typed Objects in Mathematical Web Services -- Managing Automatically Formed Mathematical Theories -- Authoring LeActiveMath Calculus Content -- Information Retrieval and Rendering with MML Query -- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. |
| Altri titoli varianti | MKM 2006 |
| Record Nr. | UNINA-9910767556503321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers / / Michael Kohlhase (ed.)
| Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers / / Michael Kohlhase (ed.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XII, 408 p.) |
| Disciplina | 510.285 |
| Altri autori (Persone) | KohlhaseMichael <1964-> |
| Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Mathematics - Data processing
Information storage and retrieval systems - Mathematics Automatic theorem proving |
| ISBN | 3-540-31431-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Session I: Foundations -- A Proof-Theoretic Approach to Hierarchical Math Library Organization -- An Exploration in the Space of Mathematical Knowledge -- Session II: Authoring -- Authoring Presentation for open math -- Translating Mathematical Vernacular into Knowledge Repositories -- Assisted Proof Document Authoring -- Session III: Representations -- A Tough Nut for Mathematical Knowledge Management -- Textbook Proofs Meet Formal Logic – The Problem of Underspecification and Granularity -- Processing Textbook-Style Matrices -- Session IV: Proving -- A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity -- Impasse-Driven Reasoning in Proof Planning -- Literate Proving: Presenting and Documenting Formal Proofs -- Session V: MKManagement Tools -- Semantic Matching for Mathematical Services -- Mathematical Knowledge Browser with Automatic Hyperlink Detection -- A Database of Glyphs for OCR of Mathematical Documents -- Session VI: Documents -- Toward an Object-Oriented Structure for Mathematical Text -- Explanation in Natural Language of ?????-Terms -- Engineering Mathematical Knowledge -- Session VII: MKM Case Studies -- Computational Origami of a Morley’s Triangle -- Designing Diagrammatic Catalogues of Types of Basic Interval Equation: A Case Study -- Gröbner Bases — Theory Refinement in the Mizar System -- Session VIII: Course Materials -- An Interactive Algebra Course with Formalised Proofs and Definitions -- Interactive Learning and Mathematical Calculus -- Session IX: Migration -- XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy -- Determining Empirical Characteristics of Mathematical Expression Use -- Transformations of MML Database’s Elements -- Translating a Fragment of Weak Type Theory into Type Theory with Open Terms. |
| Altri titoli varianti | MKM 2005 |
| Record Nr. | UNINA-9910484222903321 |
| Berlin, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy
| OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy |
| Autore | Kohlhase, Michael |
| Pubbl/distr/stampa | Berlin : Springer, c2006 |
| Descrizione fisica | xix, 428 p. : ill. ; 24 cm |
| Collana |
Lecture notes in computer science ; 4180
Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems Lecture notes in computer science, 0302-9743 ; 4180. Lecture notes in artificial intelligence. AI systems |
| Soggetto topico |
Mathematics - Data processing
Information storage and retrieval systems - Mathematics OMDoc (Document markup language) |
| ISBN |
3540378979
9783540378976 |
| Classificazione |
CR I.2
CR F.4 CR F.3.1 CR G.4 CR H.3 CR I.1 CR I.7 AMS 68P LC QA76.95.K64 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002027709707536 |
|
Kohlhase, Michael
|
||
| Berlin : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
OMDoc-- an open markup format for mathematical documents : (version 1.2) / / Michael Kohlhase ; foreword by Alan Bundy
| OMDoc-- an open markup format for mathematical documents : (version 1.2) / / Michael Kohlhase ; foreword by Alan Bundy |
| Autore | Kohlhase Michael <1964-> |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XIX, 428 p.) |
| Disciplina | 006.3 |
| Collana |
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence |
| Soggetto topico |
Mathematics - Data processing
Information storage and retrieval systems - Mathematics OMDoc (Document markup language) |
| ISBN | 3-540-37898-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Setting the stage for open mathematical documents -- pt. 2. An OMDoc primer -- pt. 3. The OMDoc document format -- pt. 4. OMDoc applications, tools, and projects -- pt. 5. Appendix. |
| Altri titoli varianti | OMDoc |
| Record Nr. | UNINA-9910767522903321 |
|
Kohlhase Michael <1964->
|
||
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
