search result

Cover von Advances in Natural Deduction
A Celebration of Dag Prawitz's Work
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Trends in logic; 39
Media group: MONOGRAPHIE
Cover von PHOBIC

PHOBIC

Perfect Hashing With Optimized Bucket Sizes and Interleaved Coding
Year: 2024
Media group: LIPIcs
Cover von Applying machine intelligence in practice
Selected results of the 2019 Dagstuhl Workshop on Applied Machine Intelligence
Search for this author
Year: 2020
Publisher: Berlin , Springer
Series: Informatik Spektrum; 2020 : article
Media group: ARTICLE
Cover von Emerging Trends in Corporate Semantic Web; 6
Selected Results of the 2016 Dagstuhl Workshop on Corporate Semantic Web : article : pp. 474-480
Search for this author
Year: 2016
Publisher: Berlin, Springer
Informatik Spektrum
Count: 6
Media group: ARTICLE
Cover von Validity constraints for data analysis workflows
Author: Schintke, Florian; Mecquenem, Ninon De; Frantz, David Search for this author
Year: 2024
Publisher: Amsterdam, Elsevier
Series: Future generation computer systems; 157. 2024 : article
Media group: ARTICLE
OPEN V 11.1.0.0