Sortiert nach
1st Edition 2016, 2016
Link zum Volltext
Journal of automated reasoning, 2023-03, Vol.67 (1), p.8, Article 8
2023
Link zum Volltext
Journal of automated reasoning, 2020-03, Vol.64 (3), p.485-510
2020
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Mathematical Logic
- Mathematics
- Technology
- Artificial Intelligence
- Machine Theory
- Algorithm Analysis And Problem Complexity
- Congresses
- Computers
- Algorism
- Computer Software
- Engineering
- Computer Science—mathematics
- Discrete Mathematics
- Theory Of Computation
- Mathematical Logic And Formal Languages
- Mathematical Models
- Discrete Mathematics In Computer Science
Kollektion
- Ingenta
- Springer Books
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- HEAL-Link subscriptions: Springer Book Series
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Free E-Journal (出版社公開部分のみ）
- IEL
- NUS Single-Journal Subscriptions
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- American Physical Society Journals
- PROLA - Physical Review
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- Wiley Online Library Journals【キャンパス外アクセス可】
- Scitation (American Institute of Physics)
- EBSCOhost Business Source Ultimate
- Project Euclid Complete
Zeitschrift / Serie
- Soft Computing
- Acta Informatica
- The Journal Of Chemical Physics
- Physical Review. B, Condensed Matter
- The Astrophysical Journal
- Ieee Transactions On Computers
- Journal Of Computer Science And Technology
- Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems
- Physical Review. A, Atomic, Molecular, And Optical Physics
- Multimedia Tools And Applications
Neu hinzugefügt