1 |
|
Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit [E-Book]
|
Zimmermann, Karl-Heinz
|
2020 |
|
.
|
2 |
|
Beweisen lernen Schritt für Schritt: für einen gelungenen Einstieg ins Mathestudium [E-Book]
|
Junk, Michael
|
2020 |
|
.
|
3 |
|
¬Das¬ BUCH der Beweise [E-Book]
|
Aigner, Martin
|
2010 |
|
.
|
4 |
|
Combining Experimentation and Theory: A Hommage to Abe Mamdani [E-Book]
|
Trillas, Enric
|
2012 |
|
.
|
5 |
|
Complexity Explained [E-Book]
|
|
2008 |
|
.
|
6 |
|
Computing with cells: advances in membrane computing [E-Book]
|
Frisco, Pierluigi
|
2009 |
|
.
|
7 |
|
„Das ist o. B. d. A. trivial!“ Tipps und Tricks zur Formulierung mathematischer Gedanken [E-Book]
|
Beutelspacher, Albrecht
|
2009 |
|
.
|
8 |
|
¬Die¬ Definition [Buch]
|
Dubislav, Walter
|
1981 |
|
Regalstandort: CC 2500 D814(4).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek, ZB Scheffelstraße.
Anzahl Exemplare: 2.
|
9 |
|
¬The¬ efficiency of theorem proving strategies: a comparative and asymptotic analysis [Buch]
|
Plaisted, David A.
|
1997 |
|
Regalstandort: ST 300 P698.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
10 |
|
Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie [Buch]
|
Hopcroft, John E.
|
2006 |
|
Regalstandort: ST 130 H791(2).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 5.
|
11 |
|
Einführung in die formale Logik für Philosophen [E-Book]
|
Zoglauer, Thomas
|
2016 |
|
.
|
12 |
|
Einführung in die formale Logik für Philosophen [E-Book]
|
Zoglauer, Thomas
|
2021 |
|
.
|
13 |
|
Einführung in die mathematische Logik [Buch]
|
Ebbinghaus, Heinz-Dieter
|
1992 |
|
Regalstandort: SK 130 E15(3).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
14 |
|
Einführung in die Mathematische Logik: Ein Lehrbuch [E-Book]
|
Rautenberg, Wolfgang
|
2008 |
|
.
|
15 |
|
Forging New Frontiers: Fuzzy Pioneers I [E-Book]
|
|
2007 |
|
.
|
16 |
|
Forging New Frontiers: Fuzzy Pioneers II [E-Book]
|
|
2008 |
|
.
|
17 |
|
Foundations of logic and mathematics: applications to computer science and cryptography [Buch]
|
Nievergelt, Yves
|
2002 |
|
Regalstandort: SK 130 N682.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
18 |
|
Fragments of first-order logic [E-Book]
|
Pratt-Hartmann, Ian
|
2023 |
|
.
|
19 |
|
Glück, Logik und Bluff: Mathematik im Spiel: Methoden, Ergebnisse und Grenzen [E-Book]
|
|
2007 |
|
.
|
20 |
|
Glück, Logik und Bluff: Mathematik im Spiel – Methoden, Ergebnisse und Grenzen [E-Book]
|
Bewersdorff, Jörg
|
2010 |
|
.
|