Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
1, 2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Artificial Intelligence. ECAI 2023 International Workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I
1, 2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Artificial Intelligence. ECAI 2023 International Workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II
1, 2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
Intelligent Computer Mathematics, p.169-183
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch
Towards Mechanized Mathematical Assistants, p.313-326
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
MathWebSearch 0.5: Scaling an Open Formula Search Engine
Intelligent Computer Mathematics, p.342-357
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
2006., 2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Making PVS Accessible to Generic Services by Interpretation in a Universal Format
Interactive Theorem Proving, p.319-335
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
OMDoc - an open markup format for mathematical documents [version 1.2]
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Search Engine for Mathematical Formulae
Artificial Intelligence and Symbolic Computation, 2006, Vol.4120, p.241-253
2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
KI 2006: Advances in Artificial Intelligence : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006 : Proceedings
2007
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
OMDoc -- an Open Markup Format for Mathematical Documents [version 1. 2]: Foreword by Alan Bundy
1, 2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Towards an Annotation Standard for STEM Documents: Datasets, Benchmarks, and Spotters
Intelligent Computer Mathematics, p.190-205
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
Intelligent Computer Mathematics, p.117-131
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Guided Tours in ALeA: Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects
Artificial Intelligence. ECAI 2023 International Workshops, p.397-408
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences
Mathematical Software – ICMS 2016, p.467-475
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Communities of Practice in MKM: An Extensional Model
Lecture notes in computer science, 2006, p.179-193
2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
Mathematical Software – ICMS 2016, p.451-457
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Knowledge-Based Interoperability for Mathematical Software Systems
Mathematical Aspects of Computer and Information Sciences, p.195-210
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings
1, 2012
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Math Literate Knowledge Management via Induced Material
Intelligent Computer Mathematics, p.187-202
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics
Intelligent Computer Mathematics, p.137-152
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Injecting Formal Mathematics Into LaTeX
Intelligent Computer Mathematics, p.168-183
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
System Description STEX3 – A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents
Intelligent Computer Mathematics, p.184-188
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
OMDoc (an open markup format for mathematical documents)
Lecture notes in computer science, 2006
2006
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 232
Suche als RSS-Feed
Aktive Filter
PublikationsformArtikel
Suchergebnisse filtern
Filter anzeigen