Sortiert nach
Materials & design, 2023-09, Vol.233, p.112265, Article 112265
2023
Link zum Volltext
Materials, 2024-04, Vol.17 (8), p.1838
2024
Link zum Volltext
Journal of pharmaceutical and biomedical analysis, 2019-02, Vol.164, p.373-381
2019
Link zum Volltext
Journal of functional biomaterials, 2024-02, Vol.15 (2), p.46
2024
Link zum Volltext
Journal on satisfiability, Boolean modeling and computation, 2020-06, Vol.12 (1), p.1-15
2020
Link zum Volltext
MATEC Web of Conferences, 2018, Vol.165, p.2001
2018
Link zum Volltext
International journal of fatigue, 2019-07, Vol.124, p.55-69
2019
Link zum Volltext
Logical methods in computer science, 2008-12, Vol.4, Issue 4
2008
Link zum Volltext
HeilberufeSCIENCE, 2016-02, Vol.7 (1), p.19-24
2016
Link zum Volltext
Journal on satisfiability, Boolean modeling and computation, 2017-01, Vol.10 (1), p.23-35
2017
Link zum Volltext
The Journal of artificial intelligence research, 2014-01, Vol.49, p.669-703
2014
Link zum Volltext
Lecture notes in computer science, 2004, p.317-325
2004
Link zum Volltext
Theory and Applications of Satisfiability Testing - SAT 2009, p.128-140
Link zum Volltext
Journal of automated reasoning, 2005-10, Vol.35 (1-3), p.89-95
2005
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2013, Vol.7962, p.40-51
Link zum Volltext
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
Link zum Volltext
19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, 2016, p.160-176
2016
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2010, p.16-29
Link zum Volltext
Foundations of Software Science and Computational Structures, p.273-286
Link zum Volltext
Automata, Languages and Programming, 2003, p.767-775
2003
Link zum Volltext
ACM transactions on computational logic, 2005-04, Vol.6 (2), p.468-480
2005
Link zum Volltext
Computational Logic and Proof Theory, 2005, p.223-230
2005
Link zum Volltext
Gödel '96, 2017, p.224-234
2017
Link zum Volltext
SIAM journal on computing, 2000-01, Vol.30 (5), p.1462-1484
2000
Link zum Volltext
Information processing letters, 1998-07, Vol.67 (1), p.37-41
1998
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Technology
- Humans
- Computer Science
- Physical Sciences
- Computer Science, Theory & Methods
- Male
- Science & Technology - Other Topics
- Mathematics
- Biological And Medical Sciences
- Medical Sciences
- Female
- Middle Aged
- Adult
- Aged
- Logic
- Materials Science
- Urology & Nephrology
- Chemistry
Kollektion
- IngentaConnect
- EZB Free E-Journals
- MEDLINE
- Access via ScienceDirect (Elsevier)
- IngentaConnect Journals
- Journals@Ovid Complete
- SpringerLink Series
- eBooks on EBSCOhost
- Wiley Online Library Journals Frontfile Complete
- Ebook Central Perpetual and DDA
- Springer Nature - Complete Springer Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Full Collection 2018
- Publisher or Other Site
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EBSCOhost Psychology and Behavioral Sciences Collection
- IEEE Electronic Library (IEL)
- Nature Journals
- UTB Scholars
- De Gruyter eBooks
Zeitschrift / Serie
- European Urology
- European Urology Supplements : Official Journal Of The European Association Of Urology
- Mathematical Logic Quarterly
- Nature
- Alzheimer's & Dementia
- Angewandte Chemie International Edition
- Cell Chemical Biology
- Journal Of Physical Chemistry. C
- Journal On Satisfiability, Boolean Modeling And Computation
- Metabolomics
Neu hinzugefügt