انتشارات Logos Verlag
Improving proof search in intuitionistic propositional logic
Klaus Weich, 2001
Arqueología y aleteiología - Estudios heideggerianos
Alejandro G. Vigo, 2014
Language, Identity and Multiculturalism
Gabriel Furmuzachi, 2007
Heuristic and Knowledge-Based Security Checks of Source Code Artifacts Using Community Knowledge
Fabien Patrick Viertel, 2021
Autonomous Real-Time Testing: Testing Artificial Intelligence and Other Complex Systems
Thomas Michael Fehlmann, 2020
Compression of an Array of Similar Crash Test Simulation Results
Stefan Peter Muller, 2022
Combustion Characteristics of Turbo Charged DISI-Engines
Henrik Hoffmeyer, 2012
Simulation of the Morphogenesis of Open--Porous Materials
Franz Keller, 2015
Learning and Diversity in the Cities of the Future
Ilona Buchem, 2014
