Moscow-Vienna Workshop on Logic and Computation
Event name
Moscow-Vienna Workshop on Logic and Computation
Event type
Event for scientific audience
Start date
28-04-2002
Location
Moscow
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fermüller, Christian | A Natural Deduction System for Intuitionistic Fuzzy Logic | Präsentation Presentation | 2002 | |
| 2 | Leitsch, Alexander | CERES: An analysis of Fürstenberg's proof of the infinity of primes | Präsentation Presentation | 2007 | |
| 3 | Fermüller, Christian | Linguistics, Logic, and Vagueness | Präsentation Presentation | 2009 |