|
СТ |
A Logic-Based Model of the Evolutionary Development of Knowledge |
1992 |
Baaz M., Quirchmayr G. |
|
|
|
Управляю ие машины и системы |
30.07.1992 |
|
СТ |
Note on Calculi for a Three-Valued Logic for Logic Programming |
1992 |
Baaz M., Zach R. |
|
|
|
EATCS Bull. |
23.12.1992 |
|
СТ |
Algorithmic Structuring of Cut-free Proofs |
1993 |
Baaz M., Zach R. |
|
|
|
Lecture Notes in Computer Science |
06.11.1993 |
|
СТ |
Semi-Unification and Generalizations of a Particularly Simple Form |
1995 |
Baaz M., Salzer G. |
Lecture Notes in Computer Science |
|
|
Computer Science Logic |
24.09.1995 |
|
СТ |
Non-elementary Speedups between Different Versions of Tableaux |
1995 |
Baaz M., Fermuller C. G. |
|
|
|
Lecture Notes in Artificial Intelligence |
02.06.1995 |
|
СТ |
Semi-Unification and Generalizations og a Particulary Simple Form |
1995 |
Baaz M., Salzer G. |
Lecture Notes in Computer Science |
|
|
Computer Science Logic |
29.08.1995 |
|
СТ |
Proof Theory of Fuzzy Logics: Urquhart s C and Related Logics |
1998 |
Baaz M., Ciabattoni A., Fermuller C., Veith H. |
|
|
|
Lecture Notes in Computer Science |
02.09.1998 |
|
СТ |
Quantifier Elimination in Fuzzy Logic |
1999 |
Baaz M., Veith H. |
|
|
|
Lecture Notes in Computer Science |
25.05.1999 |
