1 |
![Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit](Cover.cls?type=cover&isbn=9783658317393&size=100) |
Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit [E-Book]
|
Zimmermann, Karl-Heinz
|
2020 |
|
.
|
2 |
![Beweisen lernen Schritt für Schritt: für einen gelungenen Einstieg ins Mathestudium Beweisen lernen Schritt für Schritt: für einen gelungenen Einstieg ins Mathestudium](Cover.cls?type=cover&isbn=9783662616161&size=100) |
Beweisen lernen Schritt für Schritt: für einen gelungenen Einstieg ins Mathestudium [E-Book]
|
Junk, Michael
|
2020 |
|
.
|
3 |
![¬Das¬ BUCH der Beweise ¬Das¬ BUCH der Beweise](Cover.cls?type=cover&isbn=9783642022593&size=100) |
¬Das¬ BUCH der Beweise [E-Book]
|
Aigner, Martin
|
2010 |
|
.
|
4 |
![Combining Experimentation and Theory: A Hommage to Abe Mamdani Combining Experimentation and Theory: A Hommage to Abe Mamdani](Cover.cls?type=cover&isbn=9783642246661&size=100) |
Combining Experimentation and Theory: A Hommage to Abe Mamdani [E-Book]
|
Trillas, Enric
|
2012 |
|
.
|
5 |
![Complexity Explained Complexity Explained](Cover.cls?type=cover&isbn=9783540357780&size=100) |
Complexity Explained [E-Book]
|
|
2008 |
|
.
|
6 |
![Computing with cells: advances in membrane computing Computing with cells: advances in membrane computing](Cover.cls?type=cover&isbn=9780191715679&size=100) |
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 „Das ist o. B. d. A. trivial!“ Tipps und Tricks zur Formulierung mathematischer Gedanken](Cover.cls?type=cover&isbn=9783834895998&size=100) |
„Das ist o. B. d. A. trivial!“ Tipps und Tricks zur Formulierung mathematischer Gedanken [E-Book]
|
Beutelspacher, Albrecht
|
2009 |
|
.
|
8 |
![¬Die¬ Definition ¬Die¬ Definition](Cover.cls?type=cover&isbn=9783787305131&size=100) |
¬Die¬ Definition [Buch]
|
Dubislav, Walter
|
1981 |
|
Regalstandort: CC 2500 D814(4).
Lit.abteilungen: Freihand.
Verfügbar in: ZB Scheffelstraße.
Anzahl Exemplare: 2.
|
9 |
![¬The¬ efficiency of theorem proving strategies: a comparative and asymptotic analysis ¬The¬ efficiency of theorem proving strategies: a comparative and asymptotic analysis](Cover.cls?type=cover&isbn=9783528055745&size=100) |
¬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 Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie](Cover.cls?type=cover&isbn=9783827370204&size=100) |
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 Einführung in die formale Logik für Philosophen](Cover.cls?type=cover&isbn=9783838545929&size=100) |
Einführung in die formale Logik für Philosophen [E-Book]
|
Zoglauer, Thomas
|
2016 |
|
.
|
12 |
![Einführung in die formale Logik für Philosophen Einführung in die formale Logik für Philosophen](Cover.cls?type=cover&isbn=9783838557717&size=100) |
Einführung in die formale Logik für Philosophen [E-Book]
|
Zoglauer, Thomas
|
2021 |
|
.
|
13 |
![Einführung in die mathematische Logik Einführung in die mathematische Logik](Cover.cls?type=cover&isbn=9783411156030&size=100) |
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 Einführung in die Mathematische Logik: Ein Lehrbuch](Cover.cls?type=cover&isbn=9783834895301&size=100) |
Einführung in die Mathematische Logik: Ein Lehrbuch [E-Book]
|
Rautenberg, Wolfgang
|
2008 |
|
.
|
15 |
![Forging New Frontiers: Fuzzy Pioneers I Forging New Frontiers: Fuzzy Pioneers I](Cover.cls?type=cover&isbn=9783540731825&size=100) |
Forging New Frontiers: Fuzzy Pioneers I [E-Book]
|
|
2007 |
|
.
|
16 |
![Forging New Frontiers: Fuzzy Pioneers II Forging New Frontiers: Fuzzy Pioneers II](Cover.cls?type=cover&isbn=9783540731856&size=100) |
Forging New Frontiers: Fuzzy Pioneers II [E-Book]
|
|
2008 |
|
.
|
17 |
![Foundations of logic and mathematics: applications to computer science and cryptography Foundations of logic and mathematics: applications to computer science and cryptography](Cover.cls?type=cover&isbn=9783764342494&size=100) |
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 Fragments of first-order logic](Cover.cls?type=cover&isbn=9780191960062&size=100) |
Fragments of first-order logic [E-Book]
|
Pratt-Hartmann, Ian
|
2023 |
|
.
|
19 |
![Glück, Logik und Bluff: Mathematik im Spiel: Methoden, Ergebnisse und Grenzen Glück, Logik und Bluff: Mathematik im Spiel: Methoden, Ergebnisse und Grenzen](Cover.cls?type=cover&isbn=9783834891624&size=100) |
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 Glück, Logik und Bluff: Mathematik im Spiel – Methoden, Ergebnisse und Grenzen](Cover.cls?type=cover&isbn=9783834896964&size=100) |
Glück, Logik und Bluff: Mathematik im Spiel – Methoden, Ergebnisse und Grenzen [E-Book]
|
Bewersdorff, Jörg
|
2010 |
|
.
|