Sortiert nach
AIP advances, 2018-10, Vol.8 (10), p.101404-101404-5
2018
Link zum Volltext
AIP advances, 2018-05, Vol.8 (5), p.055802-055802-6
2018
Link zum Volltext
AIP advances, 2019-03, Vol.9 (3), p.035112-035112-5
2019
Link zum Volltext
Journal of applied logic, 2008-09, Vol.6 (3), p.267-286
2008
Link zum Volltext
Intelligent Computer Mathematics, p.252-266
Link zum Volltext
Information and computation, 2018-06, Vol.260, p.9-50
2018
Link zum Volltext
Mathematical Software – ICMS 2018, 2018, p.175-181
2018
Link zum Volltext
Simple Type Theory, 2023, p.131-138
2023
Link zum Volltext
Simple Type Theory, 2023, p.64-76
2023
Link zum Volltext
Simple Type Theory, 2023, p.84-93
2023
Link zum Volltext
Simple Type Theory, 2023, p.13-35
2023
Link zum Volltext
Simple Type Theory, 2023, p.139-155
2023
Link zum Volltext
Simple Type Theory, 2023, p.127-130
2023
Link zum Volltext
Simple Type Theory, 2023, p.196-209
2023
Link zum Volltext
Simple Type Theory, 2023, p.94-126
2023
Link zum Volltext
Simple Type Theory, 2023, p.47-63
2023
Link zum Volltext
Simple Type Theory, 2023, p.156-195
2023
Link zum Volltext
Simple Type Theory, 2023, p.210-215
2023
Link zum Volltext
Simple Type Theory, 2023, p.6-12
2023
Link zum Volltext
Simple Type Theory, 2023, p.77-83
2023
Link zum Volltext
The Mathematical intelligencer, 2021-03, Vol.43 (1), p.78-87
2021
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Technology
- Humans
- Physical Sciences
- Computer Science
- Computer Science, Artificial Intelligence
- Mathematics
- Male
- Female
- Biological And Medical Sciences
- Medical Sciences
- Adult
- Exact Sciences And Technology
- Middle Aged
- Mathematics, Applied
- Computer Science, Theory & Methods
- Logic And Foundations
- Mathematical Logic, Foundations, Set Theory
- Sciences And Techniques Of General Use
Kollektion
- IngentaConnect
- MEDLINE
- Journals@Ovid Full Text
- EZB Electronic Journals Library
- HEAL-Link subscriptions: Springer Book Series
- NUS Single-Journal Subscriptions
- Elsevier ScienceDirect Journals Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Wiley Online Library Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- JSTOR
- Wiley Online Library Full Collection 2018
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Nature - Connect here FIRST to enable access
- Project Euclid_欧几里德项目期刊
- Cambridge Journals Online (DEFF)
- Oxford University Press Journals Current
Zeitschrift / Serie
Neu hinzugefügt