Browsen nach Sachgebiet

Alle Sachgebiete   Mathematik   Grundlagen, Logik, philosophische Fragen

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

53 Ergebnisse zu diesem Sachgebiet

Diese Suchanfrage als RSS-Feed abonnieren

Seite 1 von 3

1 2 3 nächste › letzte »

1. A parallel resolution method for logic programs

Zolliker, Urs (1993)


Dissertationen und Habilitationen

2. A predicate calculus with control of derivations

Mey, Daniel (1989)


Reports

3. Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik

Ragaz, Matthias Emil (1981)


Dissertationen und Habilitationen

4. Atome und Präfixe in der Wissenslogik

Scherer, Beat Georges (1995)


Dissertationen und Habilitationen

5. Auswahlaxiom in der Algebra

Läuchli, Hans, Läuchli, Hans und Läuchli, Hans (1962)


Dissertationen und Habilitationen

6. Calculatrices digitales du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme

Böhm, Corrado (1954)


Dissertationen und Habilitationen

7. Complexity of triangulation

Below, Alexander (2002)


Dissertationen und Habilitationen

8. Contributions à la technique de la logique ternaire

Bitran, Münir (1971)


Dissertationen und Habilitationen

9. Cryptographically relevant contributions to combinational complexity theory

Hiltgen, Alain P.L. (1993)


Dissertationen und Habilitationen

10. {Delta}-logics and generalized quantifiers

Makowsky, Johann Andreas (1974)


Dissertationen und Habilitationen

11. Die Algebra der Sätze der monadischen Theorie schwach zweiter Stufe der linearen Ordnung ist atomar

Trippel, Johann Rudolf (1978)


Dissertationen und Habilitationen

12. Die Philosophie des Strikten Finitismus

Welti, Ernst (1986)


Dissertationen und Habilitationen

13. Drei Beiträge zur Kardinalzahltheorie ohne Auswahlaxiom

Häussler, Alexander Franz (1978)


Dissertationen und Habilitationen

14. Eine partielle Prädikatenlogik

Clavadetscher-Seeberger, Erna (1983)


Dissertationen und Habilitationen

15. Einige Entscheidungsprobleme kombinatorischer und algebraischer Natur

Clivio, Andrea Giovanni (1987)


Dissertationen und Habilitationen

16. Equational completion by proof transformation

Küchlin, Wolfgang (1986)


Dissertationen und Habilitationen

17. Extensions décidables et indécidables de la théorie monadique du deuxième ordre de deux fonctions de successeur

Savioz, Christian (1985)


Dissertationen und Habilitationen

18. Formale Stetigkeit und Modelle des Lambda-Kalküls

Volken, Henri (1978)


Dissertationen und Habilitationen

19. Fortsetzung mathematischer Objekte

Weber, Karl (1981)


Dissertationen und Habilitationen

20. Fragmente von "New Foundations" und Typentheorie

Oswald, Urs (1976)


Dissertationen und Habilitationen

21. Galois theory for combinatory algebras and its application to recursion theory

Gloor, Oliver Patrik Andreas (1995)


Dissertationen und Habilitationen

22. Graph algebras, algebraic and denotational semantics

Maeder, Roman E., Maeder, Roman E. und Maeder, Roman E. (1986)


Dissertationen und Habilitationen

23. Interactive learning environments for mathematical topics

Arnold, Rudolf (2007)


Dissertationen und Habilitationen

24. Investigations on a calculus without contractions

Mey, Daniel (1992)


Dissertationen und Habilitationen

25. Kombinatorische Logik und S-Terme

Zachos, Efstathios (1978)


Dissertationen und Habilitationen


Seite 1 von 3

1 2 3 nächste › letzte »