Deutsch Englisch

Informationen

Fragen Sie uns!

Neuerwerbungen

Semesterapparate

Sachgebiete

Speichern

Trefferanalyse

Abmelden

 

Elektronische Zettelkataloge

E-Books

E-Journals

Datenbanken

Nationallizenzen

Fernleihe

Medienaufstellung

Katalogmenü

UB Home

 

Datenschutz

Impressum

Diese Suchanfrage abonnieren (RSS)
1 - 10 von 104
vorherige Seite      nächste Seite
* Ihre Aktion  suchen [und] RVK SK 130 and MAT O*
Online Ressourcen (ohne Zeitschr.) 1.  Theorems, corollaries, lemmas, and methods of proof
/ Rossi, Richard J.. - Hoboken, N.J : Wiley, 2006Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 2.  Mathematical logic
/ Tourlakis, George J.. - Hoboken, N.J : Wiley, 2008Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 3.  Mathematical modeling and simulation : introduction for scientists and engineers
/ Velten, Kai. - Weinheim [Germany] : Wiley-VCH, 2009Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 4.  The Axiom of Constructibility: A Guide for the Mathematician
/ Devlin, Keith J.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1977
Online Ressourcen (ohne Zeitschr.) 5.  Cambridge Summer School in Mathematical Logic : Held in Cambridge/England, August 121, 1971
/ Mathias, A. R. D.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1973
Online Ressourcen (ohne Zeitschr.) 6.  Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion
/ Witt, Kurt-Ulrich. - Wiesbaden : Springer Vieweg, 2013Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 7.  Handbook of practical logic and automated reasoning
/ Harrison, John. - 1. publ. Online-Ausg.. - Cambridge [u.a.] : Cambridge Univ. Press, 2009
Online Ressourcen (ohne Zeitschr.) 8.  Das BUCH der Beweise
/ Aigner, Martin. - 5. Aufl. 2018. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2018Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 9.  Leitfaden Arithmetik : Für Studierende der Lehrämter
/ Benölken, Ralf. - 7. Aufl. 2018. - Wiesbaden : Springer Fachmedien Wiesbaden, 2018Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 10.  Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik
/ Hoffmann, Dirk W.. - 3. Auflage. - Berlin, Heidelberg : Springer Spektrum, [2018]Zusammenfassung
[PRS] Person (Phrase: Nachname, Vorname): Hoffmann, Dirk W.
[CLT] Siehe auch: mengenlehre | beweis | logik | rekursionstheorie | symbolic | recursion | logic | beweisen | berechenbarkeit
1 - 10 von 104
vorherige Seite      nächste Seite
Wort   Typ   Anzahl
sk 130 [RVK] Regensburger Verbundklassifikation (RVK) 245
 
1 - 10 von 104
vorherige Seite      nächste Seite