Sortiert nach
Electronic proceedings in theoretical computer science, 2019-10, Vol.307 (Proc. LFMTP 2019), p.24-39
2019
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.117-131
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
Proceedings of the IEEE, 2008, Vol.96 (6), p.970-989
2008
Link zum Volltext
Lecture notes in computer science, 2006, p.179-193
2006
Link zum Volltext
Mathematical Software – ICMS 2016, p.451-457
Link zum Volltext
Mathematical Aspects of Computer and Information Sciences, p.195-210
Link zum Volltext
Information technology (Munich, Germany), 2020-02, Vol.62 (1), p.7-17
2020
Link zum Volltext
Intelligent Computer Mathematics, p.187-202
Link zum Volltext
Mathematics in computer science, 2012-09, Vol.6 (3), p.235-260
2012
Link zum Volltext
Intelligent Computer Mathematics, p.137-152
Link zum Volltext
Lecture notes in computer science, 2016, Vol.9791, p.V
2016
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Artificial Intelligence
- Mathematics
- Physical Sciences
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Humans
- Artificial Intelligence
- Life Sciences & Biomedicine
- Computer Science, Theory & Methods
- Female
- Software
- Male
- Mathematical Knowledge
- Mathematical Object
- Mathematics, Applied
- Phenotype
Kollektion
- IngentaConnect_期刊（NSTL购买）
- Springer Book Series
- Journals@Ovid Complete
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB Free E-Journals
- ACM Digital Library Complete
- Wiley Online Library - AutoHoldings Journals
- Wiley Online Library Full Collection 2018
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Publisher site
- Ebook Central Perpetual and DDA
- EBSCOhost Business Source Ultimate
- Oxford University Press Journals Current
- JSTOR Complete Journals
- Springer Books
- Taylor & Francis Journals Complete
- Taylor & Francis Current Content Access
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
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