31 Ergebnisse zu (keywords_en:MATHEMATICAL LOGIC)

Diese Suchanfrage als RSS-Feed abonnieren

Seite 1 von 2

1 2 nächste › letzte »

1. Atome und Präfixe in der Wissenslogik

Scherer, Beat Georges (1995)


Dissertationen und Habilitationen

2. Vom Denken in Begriffen

Wittenberg, Alexander (1957)


Dissertationen und Habilitationen

3. Spektrale Entscheidungen bei Präfixklassen

Ermanni, Luca (1991)


Dissertationen und Habilitationen

5. Robuste Logik

Hösli, Brigitte (1993)


Dissertationen und Habilitationen

7. The n-dimensional Laver and Miller ideals

Jossen, Sven (2001)


Dissertationen und Habilitationen

8. Set theory and category theory in combinatory algebras

Darms, Daniel (1998)


Dissertationen und Habilitationen

9. Universal algebra in combinatory logic

Amrhein, Beatrice (1992)


Dissertationen und Habilitationen

10. Types and consistency in combinatory algebras

Otth, Daniel (1992)


Dissertationen und Habilitationen

12. Some representation problems in combinatory logic

Weibel, Trudy (1989)


Dissertationen und Habilitationen

13. Investigations on a calculus without contractions

Mey, Daniel (1992)


Dissertationen und Habilitationen

14. Configuration of multiple-variant products

Schwarze, Stephan Rudolf (1996)


Dissertationen und Habilitationen

16. Mechanizing proofs of program properties

Gitsels, Martin (1998)


Dissertationen und Habilitationen

18. A parallel resolution method for logic programs

Zolliker, Urs (1993)


Dissertationen und Habilitationen


Seite 1 von 2

1 2 nächste › letzte »