- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Automated Deduction - CADE 28. - Cham : Platzer, André; Sutclifffe, Geoff (Hrsg.), 2021. - 450-467, ISBN: 978-3-030-79875-8
- Event
-
Veröffentlichung
- (where)
-
Freiburg
- (who)
-
Universität
- (when)
-
2024
- Creator
- DOI
-
10.1007/978-3-030-79876-5_26
- URN
-
urn:nbn:de:bsz:25-freidok-2566642
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:30 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Schurr, Hans-Jörg
- Fleury, Mathias
- Desharnais, Martin
- Universität
Time of origin
- 2024
Other Objects (12)
Visual fine-grained recognition
Fine-grained transactions for NVRAM
Fine-grained multilayer virtualized systems analysis
Fine-Grained Complexity of Safety Verification
Generating fine-grained surrogate temporal networks
How to emulate fine-grained multithreading
Fine-grained Distributed Application Monitoring Using LTTng
Fine-Grained Workflow Interoperability in Life Sciences
Distributed representations for fine-grained entity typing
Fine-grained recognition of plants from images
Self reward design with fine-grained interpretability
A dataset for fine-grained seed recognition
Visual fine-grained recognition
Fine-grained transactions for NVRAM
Fine-grained multilayer virtualized systems analysis
Fine-Grained Complexity of Safety Verification
Generating fine-grained surrogate temporal networks
How to emulate fine-grained multithreading
Fine-grained Distributed Application Monitoring Using LTTng
Fine-Grained Workflow Interoperability in Life Sciences
Distributed representations for fine-grained entity typing
Fine-grained recognition of plants from images
Self reward design with fine-grained interpretability
A dataset for fine-grained seed recognition
Visual fine-grained recognition
Fine-grained transactions for NVRAM
Fine-grained multilayer virtualized systems analysis
Fine-Grained Complexity of Safety Verification
Generating fine-grained surrogate temporal networks
How to emulate fine-grained multithreading
Fine-grained Distributed Application Monitoring Using LTTng
Fine-Grained Workflow Interoperability in Life Sciences
Distributed representations for fine-grained entity typing
Fine-grained recognition of plants from images
Self reward design with fine-grained interpretability