Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Mathematische Logik 8 Treffer
- Logik 6 Treffer
- Modallogik 3 Treffer
- Beweistheorie 2 Treffer
- Fuzzy-Logik 2 Treffer
-
34 weitere Werte:
- Wissenschaftstheorie 2 Treffer
- Automatentheorie 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Bayes-Entscheidungstheorie 1 Treffer
- Bayes-Verfahren 1 Treffer
- Berechenbare Funktion 1 Treffer
- Chemische Verfahrenstechnik 1 Treffer
- Computeralgebra 1 Treffer
- Constraint (Künstliche Intelligenz) 1 Treffer
- Datenverarbeitung 1 Treffer
- Deduktionssystem 1 Treffer
- Entscheidungsproblem 1 Treffer
- Entscheidungstheorie 1 Treffer
- Formale Semantik 1 Treffer
- Forschungsmethode 1 Treffer
- Grammatische Kategorie 1 Treffer
- Gödel, Kurt (1906-1978) 1 Treffer
- Informationsverarbeitung 1 Treffer
- Kategorialgrammatik 1 Treffer
- Kognitive Lerntheorie 1 Treffer
- Kombinatorik 1 Treffer
- Komplexes System 1 Treffer
- Lambda-Kalkül 1 Treffer
- Lineare Optimierung 1 Treffer
- Logische Programmierung 1 Treffer
- Matrizentheorie 1 Treffer
- Methode 1 Treffer
- Modelltheorie 1 Treffer
- Negation 1 Treffer
- Programmiersprache 1 Treffer
- Semantik 1 Treffer
- Sprachlogik 1 Treffer
- Topologie 1 Treffer
- Wissenschaft 1 Treffer
Sprache
Form
Person
- Howson, Colin (1945-2020) 2 Treffer
- Krynicki, Michał 2 Treffer
- Nguyen, Hung T. (1944-) 2 Treffer
- Urbach, Peter 2 Treffer
- Venema, Yde (1963-) 2 Treffer
-
29 weitere Werte:
- Walker, Elbert (1930-2018) 2 Treffer
- ADAM, ANDRES 1 Treffer
- Baader, Franz 1 Treffer
- Benthem, Johan van (1949-) 1 Treffer
- Blackburn, Patrick 1 Treffer
- Boehme, Gert 1 Treffer
- Braüner, Torben 1 Treffer
- Bruijn, Nicolaas Govert de 1 Treffer
- Dassow, Jürgen (1947-) 1 Treffer
- Devlin, Keith J. (1947-) 1 Treffer
- Gabbay, Dov M. (1945-) 1 Treffer
- Gödel, Kurt (1906-1978) 1 Treffer
- Kaaz, Mieczyslaw Albert 1 Treffer
- Kelly, Kevin T. 1 Treffer
- Kirchner, Hélène 1 Treffer
- Lynch, Edward P. 1 Treffer
- Martin, John N. 1 Treffer
- Martin, Norman M. 1 Treffer
- Marx, Maarten 1 Treffer
- Niwiński, Damian 1 Treffer
- Pollard, Stephen 1 Treffer
- Rautenberg, Wolfgang (1936-2011) 1 Treffer
- Rijke, Maarten de 1 Treffer
- Sheng, Ching Lai 1 Treffer
- Sieg, Wilfried 1 Treffer
- Skordev, Dimiter Genčev 1 Treffer
- Stern, August (1945-) 1 Treffer
- Wansing, Heinrich (1963-) 1 Treffer
- Wenzel, Günter 1 Treffer
31 Treffer
-
Amsterdam [u.a.]: North-Holland, 1991Monographie, Aufsatzsammlung, Gedruckte RessourceZugriff:
-
2. ed.. - Boca Raton [u.a.]: Chapman & Hall/CRC, 2000Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Hanser, 1981Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
New York [u.a.]: Plenum Pr, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1996Sammelwerk, Gedruckte RessourceZugriff:
-
3. ed., 1. print.. - Chicago [u.a.]: Open Court, 2006Monographie, Gedruckte RessourceZugriff:
-
1. Aufl.. - Stuttgart [u.a.]: Teubner, 2005Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 2001Monographie, Gedruckte RessourceZugriff:
-
Montréal: Pr. de Univ, 1973Monographie, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Academic Publ, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boca Raton [u.a.]: CRC Press, 1996Monographie, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York [u.a.]: Wiley, 1980Monographie, Gedruckte RessourceZugriff:
-
2. ed., 1. print.. - LaSalle, Ill.: Open Court, 1993Monographie, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1997Monographie, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Academic Publ, 1996Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Oxford Univ. Press, 1996Monographie, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1995Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Dordrecht [u.a.]: Kluwer, 1995Sammelwerk, Teil eines Werkes, keine AngabeZugriff: