Sortiert nach
1st Edition 2022, 2021
Link zum Volltext
1. Aufl. 2022 edition., 2022
Link zum Volltext
Third edition, 2023
Link zum Volltext
Second edition., 2016
Link zum Volltext
1st Edition 2021, 2020
Link zum Volltext
Journal of automated reasoning, 2022-08, Vol.66 (3), p.357-407
2022
Link zum Volltext
1st ed. 2019., 2019
Link zum Volltext
1st Edition 2020, 2019
Link zum Volltext
2013, 2013
Link zum Volltext
1, 2007
Link zum Volltext
Second edition., 2016
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Mathematics
- Science & Technology
- Computer Science
- Mathematical Logic And Foundations
- Physical Sciences
- Mathematics And Statistics
- Mathematical Logic
- Algorithms
- Logic
- Machine Theory
- Discrete Mathematics
- Congresses
- Computer Science—mathematics
- Logic, Symbolic And Mathematical
- Discrete Mathematics In Computer Science
- Numerical Analysis
- Algorism
- Algorithm Analysis And Problem Complexity
- Mathematical Analysis
Kollektion
- Ingenta
- Springer Books
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- SpringerNature Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- HEAL-Link subscriptions: Springer Book Series
- EZB Free E-Journals
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- JSTOR Complete Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- American Mathematical Society Publications
- De Gruyter eBooks
- IEEE/IET Electronic Library
- EBSCOhost Business Source Ultimate
- Oxford University Press Books All Titles
- Wiley Online Library Journals
- AMS All Books Online
- Project Euclid Complete
Zeitschrift / Serie
Neu hinzugefügt