-
TaschenbuchBOD - 2 Tage
This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof...
-
TaschenbuchBOD - 2 Tage
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...
-
TaschenbuchBOD - 2 Tage
.- Automated Reasoning..- Hammering Higher Order Set Theory..- Synthesis Benchmarks for Automated...
-
TaschenbuchBOD - 5 Tage
Inheritance has been used in AI knowledge representation for many years. Until recently, however,...
-
BuchBOD - 7 Tage
The lexicon is now a major focus of research in computational linguistics and natural language pr...
-
BuchBOD - 7 Tage
This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof...
- 1