Prefix title Titel (vorangestellt)
Ao.Univ.Prof. Dr.phil.
 
Full name Familienname, Vorname
Baaz, Matthias
 

Results 1-20 of 184 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias ε calculus and Skolem functionsPräsentation Presentation2006
2Baaz, Matthias Wittgenstein's Traktat from the Perspective of a Contemporary LogicianPräsentation Presentation2020
3Baaz, Matthias Wahrheit und BeweisPräsentation Presentation2018
4Baaz, Matthias ; Eiter, Thomas ; Veith, Helmut Vienna Summer of LogicPräsentation Presentation2014
5Baaz, Matthias Validity and satisfiabilityPräsentation Presentation2012
6Baaz, Matthias ; Aguilera Ozuna, Juan Pablo Unsound rules make proofs easierPräsentation Presentation2016
7Baaz, Matthias ; Aguilera Ozuna, Juan Pablo Unsound Inferences Make Proofs ShorterPräsentation Presentation2016
8Baaz, Matthias Unsound Inferences Make Proofs ShorterPräsentation Presentation2018
9Baaz, Matthias ; Aguilera Ozuna, Juan Pablo Unsound Inferences make proofs shorterPräsentation Presentation2017
10Baaz, Matthias Undecidability of the monadic fragment of Gödel logicsPräsentation Presentation2002
11Baaz, Matthias Towards a proof theory of analogical reasoningPräsentation Presentation2012
12Baaz, Matthias Towards a Proof Theory of Analogical ReasoningPräsentation Presentation2016
13Baaz, Matthias Towards a proof theory of analogical reasoningPräsentation Presentation2013
14Baaz, Matthias Towards a proof theory of analogical reasoningPräsentation Presentation2010
15Baaz, Matthias Towards a proof theory of analogical reasoningPräsentation Presentation2010
16Baaz, Matthias Towards a proof theory of analogical reasoningPräsentation Presentation2011
17Baaz, Matthias Towards a proof theory of analogical reasoningPräsentation Presentation2008
18Baaz, Matthias Towards a proof theory of analogical reasoningPräsentation Presentation2007
19Baaz, Matthias The S5 analoguous fragment of fuzzy logicsPräsentation Presentation2008
20Baaz, Matthias The proof theory of analogical reasoning and juridical logicPräsentation Presentation2005

Results 1-11 of 11 (Search time: 0.013 seconds).