Sortiert nach
Synthese (Dordrecht), 2013-12, Vol.190 (Suppl 1), p.103-134
2013
Volltextzugriff (PDF)
Journal of automated reasoning, 2024, Vol.68 (3)
2024
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021, Vol.337, p.55-70
2021
Volltextzugriff (PDF)
Dependable Software Engineering. Theories, Tools, and Applications, p.205-226
Volltextzugriff (PDF)
Journal of automated reasoning, 2018-06, Vol.61 (1-4), p.367-422
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2024-04, Vol.400, p.79-95
2024
Volltextzugriff (PDF)
Dependable Software Engineering. Theories, Tools, and Applications, 2023, Vol.14464, p.262-278
2023
Volltextzugriff (PDF)
International Journal of Software and Informatics, 2023, Vol.13 (3), p.323-357
2023
Volltextzugriff (PDF)
Journal of parallel and distributed computing, 2021-04, Vol.150, p.85-95
2021
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.2069-2098, Article 69
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-30
2019
Volltextzugriff (PDF)
Programming Languages and Systems, p.190-211
Volltextzugriff (PDF)
Theoretical Aspects of Software Engineering, 2024, Vol.14777, p.446-464
2024
Volltextzugriff (PDF)
Dependable Software Engineering. Theories, Tools, and Applications, 2020, Vol.12153, p.17-34
2020
Volltextzugriff (PDF)
Frontiers in microbiology, 2020-05, Vol.11, p.836-836
2020
Volltextzugriff (PDF)
Infection and drug resistance, 2022-01, Vol.15, p.641-654
2022
Volltextzugriff (PDF)
Infrared physics & technology, 2022-06, Vol.123, p.104199, Article 104199
2022
Volltextzugriff (PDF)
EBioMedicine, 2023-02, Vol.88, p.104438-104438, Article 104438
2023
Volltextzugriff (PDF)
EBioMedicine, 2023-02, Vol.88, p.104438
2023
Volltextzugriff (PDF)
Forming the Future, p.333-342
Volltextzugriff (PDF)
Advanced materials research, 2012, Vol.452-453, p.1470-1474
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Artificial Intelligence
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Coq
- Life Sciences & Biomedicine
- Logic
- Separation Logic
- Diagnostic Model
- Fungal Keratitis
- Hoare Logic
- Machine Learning
- Mathematical Logic And Formal Languages
- Mathematical Logic And Foundations
- Program Verification
- Semantics
- Slit-Lamp Microscopy
- Symbolic And Algebraic Manipulation
Kollektion
- EZB Free E-Journals
- Ingenta
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLink Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Journals@OVID
- SpringerLink_现刊
- ACM Digital Library Complete
- Elsevier ScienceDirect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- ProQuest Dissertations & Theses A&I
- JSTOR
- Taylor & Francis Journals
Zeitschrift / Serie
- Ebiomedicine
- Journal Of Automated Reasoning
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Electronic Proceedings In Theoretical Computer Science
- Frontiers In Microbiology
- Infection And Drug Resistance
- Infrared Physics & Technology
- International Journal Of Software And Informatics
- Journal Of Parallel And Distributed Computing
Neu hinzugefügt