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
Journal of automated reasoning, 2021-12, Vol.65 (8), p.1265-1298
2021
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
Journal of automated reasoning, 2013-02, Vol.50 (2), p.191-202
2013
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
Information technology (Munich, Germany), 2020-02, Vol.62 (1), p.7-17
2020
Link zum Volltext
Mathematics in computer science, 2012-09, Vol.6 (3), p.235-260
2012
Link zum Volltext
Lecture notes in computer science, 2016, Vol.9791, p.V
2016
Link zum Volltext
Journal of applied non-classical logics, 2012-12, Vol.22 (4), p.295-317
2012
Link zum Volltext
Optical and quantum electronics, 2018-02, Vol.50 (2), p.1-9, Article 70
2018
Link zum Volltext
Datenbank-Spektrum : Zeitschrift für Datenbanktechnologie : Organ der Fachgruppe Datenbanken der Gesellschaft für Informatik e.V, 2020-07, Vol.20 (2), p.87-91
2020
Link zum Volltext
Datenbank-Spektrum : Zeitschrift für Datenbanktechnologie : Organ der Fachgruppe Datenbanken der Gesellschaft für Informatik e.V, 2020, Vol.20 (2), p.87-91
2020
Link zum Volltext
Datenbank-Spektrum : Zeitschrift für Datenbanktechnologie : Organ der Fachgruppe Datenbanken der Gesellschaft für Informatik e.V, 2020-01, Vol.20 (2), p.87-91
2020
Link zum Volltext
Mathematics in computer science, 2008-12, Vol.2 (2), p.279-304
2008
Link zum Volltext
TUGboat, 2022, Vol.43 (2), p.197-201
2022
Link zum Volltext
Information systems management, 2009, Vol.26 (3), p.215-230
2009
Link zum Volltext
Mathematics in computer science, 2010-05, Vol.3 (3), p.299-307
2010
Link zum Volltext
Journal of automated reasoning, 2013, Vol.50 (2), p.191-202
2013
Link zum Volltext
The Journal of symbolic logic, 2004-12, Vol.69 (4), p.1027-1088
2004
Link zum Volltext
Procedia computer science, 2011, Vol.4, p.598-607
2011
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- Ingenta
- Journals@Ovid
- SpringerLink Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB Free E-Journals
- Wiley Online Library Journals Frontfile Complete
- Wiley Online Library Full Collection 2018
- Elsevier ScienceDirect Journals Complete
- Publisher website
- IngentaConnect Journals
- EBSCOhost Business Source Ultimate
- Oxford Journals
- Taylor & Francis E-Journals
- Taylor & Francis
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- Oxford Journals 2020 Medicine
- Jstor Complete Legacy
- IEEE Electronic Library (IEL)
- BMJ Journals
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