Sortiert nach
Materials & design, 2023-09, Vol.233, p.112265, Article 112265
2023
Volltextzugriff (PDF)
Materials, 2024-04, Vol.17 (8), p.1838
2024
Volltextzugriff (PDF)
Journal of functional biomaterials, 2024-02, Vol.15 (2), p.46
2024
Volltextzugriff (PDF)
Journal on satisfiability, Boolean modeling and computation, 2020-06, Vol.12 (1), p.1-15
2020
Volltextzugriff (PDF)
MATEC Web of Conferences, 2018, Vol.165, p.2001
2018
Volltextzugriff (PDF)
International journal of fatigue, 2019-07, Vol.124, p.55-69
2019
Volltextzugriff (PDF)
Logical methods in computer science, 2008-12, Vol.4, Issue 4
2008
Volltextzugriff (PDF)
HeilberufeSCIENCE, 2016-02, Vol.7 (1), p.19-24
2016
Volltextzugriff (PDF)
Journal of the mechanical behavior of biomedical materials, 2024-10, Vol.158, p.106681, Article 106681
2024
Volltextzugriff (PDF)
Journal on satisfiability, Boolean modeling and computation, 2017-01, Vol.10 (1), p.23-35
2017
Volltextzugriff (PDF)
The Journal of artificial intelligence research, 2014-01, Vol.49, p.669-703
2014
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.317-325
2004
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing - SAT 2009, p.128-140
Volltextzugriff (PDF)
Journal of automated reasoning, 2005-10, Vol.35 (1-3), p.89-95
2005
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing – SAT 2013, Vol.7962, p.40-51
Volltextzugriff (PDF)
23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020,Virtual, Online,2020-07-03 - 2020-07-10, 2020, Vol.12178, p.182-200
2020
Volltextzugriff (PDF)
19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, 2016, p.160-176
2016
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing – SAT 2010, p.16-29
Volltextzugriff (PDF)
Foundations of Software Science and Computational Structures, p.273-286
Volltextzugriff (PDF)
Automata, Languages and Programming, 2003, p.767-775
2003
Volltextzugriff (PDF)
ACM transactions on computational logic, 2005-04, Vol.6 (2), p.468-480
2005
Volltextzugriff (PDF)
Computational Logic and Proof Theory, 2005, p.223-230
2005
Volltextzugriff (PDF)
Gödel '96, 2017, p.224-234
2017
Volltextzugriff (PDF)
SIAM journal on computing, 2000-01, Vol.30 (5), p.1462-1484
2000
Volltextzugriff (PDF)
Information processing letters, 1998-07, Vol.67 (1), p.37-41
1998
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Technology
- Humans
- Computer Science
- Computer Science, Theory & Methods
- Male
- Mathematics
- Physical Sciences
- Science & Technology - Other Topics
- Biological And Medical Sciences
- Medical Sciences
- Female
- Middle Aged
- Adult
- Aged
- Logic
- Urology & Nephrology
- Nephrology. Urinary Tract Diseases
- Animals
Kollektion
- IngentaConnect
- EZB Electronic Journals Library
- MEDLINE
- Elsevier ScienceDirect Journals Collection
- IngentaConnect Journals
- Journals@Ovid Ovid Full Text
- SpringerLink Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Wiley-Blackwell Full Collection
- SpringerLink_现刊
- NUS Single-Journal Subscriptions
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library
- Psychology & Behavioral Sciences Collection (EBSCOhost)
- Springer Nature - Connect here FIRST to enable access
- UTB Scholars
- De Gruyter eBooks
- ACM Digital Library
Zeitschrift / Serie
- European Urology
- European Urology Supplements : Official Journal Of The European Association Of Urology
- Mathematical Logic Quarterly
- Alzheimer's & Dementia
- Nature
- Cell Chemical Biology
- Journal On Satisfiability, Boolean Modeling And Computation
- Metabolomics
- Siam Journal On Computing
- Acm Transactions On Computational Logic
Neu hinzugefügt