Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Journal of automated reasoning, 2021-02, Vol.65 (2), p.257-286
2021
Volltextzugriff (PDF)
Journal of automated reasoning, 2021-02, Vol.65 (2), p.287-320
2021
Volltextzugriff (PDF)
Forum of mathematics. Pi, 2017, Vol.5, Article e2
- HALES, THOMAS
- ADAMS, MARK
- BAUER, GERTRUD
- DANG, TAT DAT
- HARRISON, JOHN
- HOANG, LE TRUONG
- KALISZYK, CEZARY
- MAGRON, VICTOR
- MCLAUGHLIN, SEAN
- NGUYEN, TAT THANG
- NGUYEN, QUANG TRUONG
- NIPKOW, TOBIAS
- OBUA, STEVEN
- PLESO, JOSEPH
- RUTE, JASON
- SOLOVYEV, ALEXEY
- TA, THI HOAI AN
- TRAN, NAM TRUNG
- TRIEU, THI DIEP
- URBAN, JOSEF
- VU, KY
- ZUMKELLER, ROLAND
2017
Volltextzugriff (PDF)
Mathematics in computer science, 2020-09, Vol.14 (3), p.657-670
2020
Volltextzugriff (PDF)
Mathematics in computer science, 2020-09, Vol.14 (3), p.533-549
2020
Volltextzugriff (PDF)
Journal of Formalized Reasoning, 2016-01, Vol.9 (1), p.101-148
2016
Volltextzugriff (PDF)
Journal of automated reasoning, 2015-10, Vol.55 (3), p.245-256
2015
Volltextzugriff (PDF)
Journal of automated reasoning, 2014-08, Vol.53 (2), p.173-213
2014
Volltextzugriff (PDF)
Logical methods in computer science, 2012-01, Vol.8, Issue 2
2012
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-06, Vol.210 (Proc. HaTT 2016), p.13-20
2016
Volltextzugriff (PDF)
Journal of automated reasoning, 2018-06, Vol.61 (1-4), p.423-453
2018
Volltextzugriff (PDF)
Mathematics in computer science, 2015-03, Vol.9 (1), p.5-22
2015
Volltextzugriff (PDF)
Journal of symbolic computation, 2019-01, Vol.90, p.89-123
2019
Volltextzugriff (PDF)
Intelligent Computer Mathematics, 2013, p.152-167
2013
Volltextzugriff (PDF)
Journal of symbolic computation, 2015-07, Vol.69, p.109-128
2015
Volltextzugriff (PDF)
Intelligent Computer Mathematics, 2018, Vol.11006, p.255-270
2018
Volltextzugriff (PDF)
Journal of automated reasoning, 2023-06, Vol.67 (2), p.20-20, Article 20
2023
Volltextzugriff (PDF)
Journal of automated reasoning, 2019-10, Vol.63 (3), p.557-595
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-06, Vol.152 (Proc. ACL2 2014), p.77-85
2014
Volltextzugriff (PDF)
Towards Mechanized Mathematical Assistants, 2007, Vol.4573, p.94-105
2007
Volltextzugriff (PDF)
Intelligent Computer Mathematics, 2011, p.45-57
2011
Volltextzugriff (PDF)
Intelligent Computer Mathematics, 2015, p.261-279
2015
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.88-96
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Artificial Intelligence
- Mathematics
- Physical Sciences
- Mathematics, Applied
- Logic
- Science & Technology - Other Topics
- Computer Science, Theory & Methods
- Robotics
- Artificial Intelligence
- Computer Science, Interdisciplinary Applications
- Mathematical Theory Of Computation
- Mathematical Logic And Formal Languages
- Maths For Computer Scientists
- Machine Learning
- Proof Assistant
- Symbolic And Algebraic Manipulation
- Computer Science, Software Engineering
Kollektion
- Ingenta E-Journals
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer journals
- Lippincott Journal Package
- ACM Digital Library Complete
- IngentaConnect Journals
- EBSCOhost Business Source Ultimate
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Electronic Library (IEL)
- Cambridge Journals Online (DEFF)
- De Gruyter journals
- Oxford Journals Online Current
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Ai Communications
- Electronic Proceedings In Theoretical Computer Science
- Mathematics In Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Journal Of Formalized Reasoning
- Journal Of Symbolic Computation
- Acm Communications In Computer Algebra
- Acta Didactica Napocensia
- Electronic Notes In Theoretical Computer Science