Suchergebnisse: Mathematische Logik

First order and counting theories of omega-automatic structures

Kuske, Dietrich ; Lohrey, Markus 2005 Universitätsbibliothek der Universität Stuttgart

On Invariant Formulae of First-Order Logic with Numerical Predicates

Harwath, Frederik ; Schweikardt, Nicole ; Kreutzer, Stephan ; Segoufin, Luc 2018 Humboldt-Universität zu Berlin

Logik

Wessel, Horst 1989 Dt. Verl. d. Wiss.

First order logic revisited

Hendricks, Vincent F. 2004 Logos

Gesammelte Schriften/ Die kritische Methode in ihrer Bedeutung für die Wissenschaft

Nelson, Leonard ; Weisser, Gerhard ; Neumann, Lothar F. 1974 Felix Meiner Verlag

Präzises Denken für Informatiker

Wolf, Karsten 2017 Springer Berlin Heidelberg

Archive for mathematical logic

1988 Springer

Archiv für mathematische Logik und Grundlagenforschung

1950 Kohlhammer

Künstliche Intelligenz und Machine Learning – Das umfassende Lehrbuch

Kersken, Sascha 2026 Rheinwerk Computing

Konzeptionelle Perspektiven von Arbeit in der digitaliserten Logistik

Prasse, Christian ; Tüllmann, Carina ; Nettsträter, Andreas ; Ten Hompel, Michael ; Hirsch-Kreinsen, Hartmut ; Rinkenauer, Gerhard ; Kreutzfeldt, Magali ; Renker, Johanna ; Plewan, Thorsten ; Dhondt, Steven ; Preenen, Paul ; Oeij, Peter ; Putnik, Katarina ; van der Torre, Wouter ; de Vroome, Ernest ; Kopp, Ralf ; Ittermann, Peter 2018 Universitätsbibliothek Dortmund

Mathematische Logik

Schütte, Kurt ; Schwichtenberg, Helmut ; Scharlau, W. ; Fischer, G. ; Hirzebruch, F. ; Törnig, W. 1990 Ludwig-Maximilians-Universität München

Mathematische Logik

Schwichtenberg, Helmut 1987 Ludwig-Maximilians-Universität München

Mathematische Logik

Schwichtenberg, Helmut ; Troelstra, Anne S. 2002 Oberwolfach-Walke : Mathematisches Forschungsinstitut Oberwolfach