Sortiert nach
Electronic proceedings in theoretical computer science, 2019-10, Vol.307 (Proc. LFMTP 2019), p.24-39
2019
Link zum Volltext
1, 2024
Link zum Volltext
1, 2024
Link zum Volltext
Journal of Formalized Reasoning, 2016-01, Vol.9 (1), p.201-234
2016
Link zum Volltext
Information and computation, 2013-09, Vol.230, p.1-54
2013
Link zum Volltext
Intelligent Computer Mathematics, p.169-183
Link zum Volltext
Towards Mechanized Mathematical Assistants, p.313-326
Link zum Volltext
Intelligent Computer Mathematics, p.342-357
Link zum Volltext
Journal of automated reasoning, 2021-12, Vol.65 (8), p.1265-1298
2021
Link zum Volltext
Interactive Theorem Proving, p.319-335
Link zum Volltext
Artificial Intelligence and Symbolic Computation, 2006, Vol.4120, p.241-253
2006
Link zum Volltext
Datenbank-Spektrum : Zeitschrift für Datenbanktechnologie : Organ der Fachgruppe Datenbanken der Gesellschaft für Informatik e.V, 2021, Vol.21 (2), p.171-171
2021
Link zum Volltext
Logical methods in computer science, 2009-03, Vol.5, Issue 1
2009
Link zum Volltext
The Mathematical intelligencer, 2021-03, Vol.43 (1), p.78-87
2021
Link zum Volltext
Intelligent Computer Mathematics, p.190-205
Link zum Volltext
Intelligent Computer Mathematics, p.117-131
Link zum Volltext
Artificial Intelligence. ECAI 2023 International Workshops, p.397-408
Link zum Volltext
Journal of automated reasoning, 2013-02, Vol.50 (2), p.191-202
2013
Link zum Volltext
Mathematical Software – ICMS 2016, p.467-475
Link zum Volltext
Proceedings of the IEEE, 2008-06, Vol.96 (6), p.970-989
2008
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Artificial Intelligence
- Computer Science
- Technology
- Computer Science, Artificial Intelligence
- Robotics
- Mathematics
- Physical Sciences
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Humans
- Life Sciences & Biomedicine
- Software
- Mathematics, Applied
- Female
- Mathematical Knowledge
- Computer Algebra System
- Male
Kollektion
- Ingenta
- Springer Book Series
- Ebook Central Perpetual and DDA
- Springer Books
- eBooks on EBSCOhost
- SpringerLink Journals - AutoHoldings
- Journals@Ovid Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB Electronic Journals Library
- ACM Digital Library Complete
- Wiley Online Library Journals Frontfile Complete
- Wiley Online Library Full Collection 2018
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Publisher website
- JSTOR Complete Journals
- Taylor & Francis Journals Complete
- Taylor & Francis Current Content Access
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- Oxford Journals Online Current
Zeitschrift / Serie
- Human Mutation
- Journal Of Automated Reasoning
- Datenbank-Spektrum : Zeitschrift Für Datenbanktechnologie : Organ Der Fachgruppe Datenbanken Der Gesellschaft Für Informatik E.V
- Kognitionswissenschaft
- Mathematics In Computer Science
- American Journal Of Human Genetics
- Genomics
- Information Systems Management
- Journal Of Applied Non-Classical Logics
- Journal Of Logic, Language, And Information
Neu hinzugefügt