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
Open Access
    Datensatz exportieren als...
  • BibTeX
Experiences from Exporting Major Proof Assistant Libraries
Journal of automated reasoning, 2021-12, Vol.65 (8), p.1265-1298
2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge
The Mathematical intelligencer, 2021-03, Vol.43 (1), p.78-87
2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The Mizar Mathematical Library in OMDoc: Translation and Applications
Journal of automated reasoning, 2013-02, Vol.50 (2), p.191-202
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Semantics of OpenMath and MathML3
Mathematics in computer science, 2012-09, Vol.6 (3), p.235-260
2012
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Model pathway diagrams for the representation of mathematical models
Optical and quantum electronics, 2018-02, Vol.50 (2), p.1-9, Article 70
2018
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Using as a Semantic Markup Format
Mathematics in computer science, 2008-12, Vol.2 (2), p.279-304
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Transforming Large Collections of Scientific Publications to XML
Mathematics in computer science, 2010-05, Vol.3 (3), p.299-307
2010
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Mizar Mathematical Library in OMDoc: Translation and Applications: Formal Mathematics for Mathematicians
Journal of automated reasoning, 2013, Vol.50 (2), p.191-202
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Special Issue on Computational Semantics
Journal of logic, language, and information, 2004, Vol.13 (2), p.115
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Applying Semantic Techniques to Search and Analyze Bug Tracking Data
Journal of network and systems management, 2009-09, Vol.17 (3), p.285-308
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Inference and Computational Semantics
Journal of logic, language, and information, 2004-01, Vol.13 (2), p.117-120
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Integrating Computer Algebra into Proof Planning
Journal of automated reasoning, 1998-12, Vol.21 (3), p.327
1998
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Managing Structural Information by Higher-Order Colored Unification
Journal of automated reasoning, 2000-08, Vol.25 (2), p.123-164
2000
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Ωmega: Ein mathematisches Assistenzsystem
Kognitionswissenschaft, 1998-03, Vol.7 (3), p.101-105
1998
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Steuerung der Inferenz in der Diskursverarbeitung
Kognitionswissenschaft, 1998-03, Vol.7 (3), p.106-110
1998
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Guiding Inferences in Discourse Processing
Kognitionswissenschaft, 1998-10, Vol.7 (3), p.106-110
1998
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
LΩUI : Lovely ΩMEGA User Interface
Formal aspects of computing, 1999-09, Vol.11 (3), p.326-342
1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Die Beweisentwicklungsumgebung $\Omega$ -M krp
Informatik (Berlin, Germany : West), 1996-02, Vol.11 (1), p.20-26
1996
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Spongiform encephalopathy in siblings with no evidence of protease-resistant prion protein or a mutation in the prion protein gene
Journal of neurology, 2013-07, Vol.260 (7), p.1871-1879
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Frequency of progranulin mutations in a German cohort of 79 frontotemporal dementia patients
Journal of neurology, 2009-12, Vol.256 (12), p.2043-2051
2009
Link zum Volltext
Verfügbarkeit prüfen
1 – 20 von 20
Suche als RSS-Feed
Aktive Filter
KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)
Suchergebnisse filtern
Filter anzeigen