Ergebnisse filtern
Fachgebiet
Medium
  • 1956
  • 159
  • 18
Erscheinungsjahr
  • 1
  • 61
  • 99
  • 83
  • 95
  • 104
  • 94
  • 70
  • 111
  • 59
  • 67
  • 45
  • 70
  • 83
  • 156
  • 65
  • 144
  • 31
  • 33
  • 17
  • 26
  • 25
  • 27
  • 22
  • 50
  • 56
  • 43
  • 38
  • 29
  • 32
  • 25
  • 25
  • 19
  • 19
  • 21
  • 10
  • 9
  • 15
  • 8
  • 7
  • 5
  • 11
  • 6
  • 7
  • 2
  • 6
  • 9
  • 2
  • 3
  • 5
  • 3
  • 5
  • 3
  • 8
  • 3
  • 4
  • 8
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 7
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 24
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 5
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 14
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 4
  • 4
  • 7
  • 2
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 9
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 6
  • 6
  • 3
  • 8
  • 5
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 4
  • 9
  • 8
  • 4
  • 4
  • 3
  • 5
  • 5
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 14
Verlag
  • 25
  • 2
  • 1
  • 2
  • 2
  • 16
  • 2
  • 1
  • 11
  • 1
  • 2
  • 1
  • 1
  • 3
  • 139
  • 26
  • 1
  • 33
  • 163
  • 2
  • 1
  • 2
  • 7
  • 18
  • 2
  • 5
  • 5
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 13
  • 2
  • 1
  • 7
  • 17
  • 2
  • 1
  • 1
  • 1
  • 3
  • 27
  • 2
  • 1
  • 4
  • 1
  • 25
  • 1
  • 1
  • 1
  • 1
  • 532
  • 181
  • 4
  • 336
  • 3
  • 2
  • 39
  • 47
  • 194
  • 9
  • 73
  • 6
  • 2
  • 18
  • 8
  • 5
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 15
  • 2
  • 1
  • 20
  • 1
  • 2
  • 4
Preis
  • 62
  • 187
  • 704
  • 1180
Sprachen
  • 1941
  • 181
  • 17
  • 8
  • 2
  • 1
Verfügbarkeit
  • 2120
  • 13
Eigenschaften
  • 2
  • 2
Katalog
  • 2133
  • 132
2.133  Titel
    Viganò | Labelled Non-Classical Logics | Buch | Sack Fachmedien

    Viganò Labelled Non-Classical Logics

    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer US
    ISBN: 978-1-4419-4962-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Centrone | Logic and Philosophy of Mathematics in the Early Husserl | Buch | Sack Fachmedien

    Centrone Logic and Philosophy of Mathematics in the Early Husserl

    2010
    Verlag: Springer Netherlands
    ISBN: 978-94-007-3123-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leitsch / Baaz | Methods of Cut-Elimination | Buch | Sack Fachmedien

    Leitsch / Baaz Methods of Cut-Elimination

    2011
    Verlag: Springer Netherlands
    ISBN: 978-94-007-3497-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Benthem / Pacuit / Gupta | Games, Norms and Reasons | Buch | Sack Fachmedien

    van Benthem / Pacuit / Gupta Games, Norms and Reasons

    Logic at the Crossroads
    2011
    Verlag: Springer Netherlands
    ISBN: 978-94-007-3577-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rougemont / Lassaigne | Logic and Complexity | Buch | Sack Fachmedien

    Rougemont / Lassaigne Logic and Complexity

    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-1-4471-1052-1
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Study | Denken und Darstellung | Buch | Sack Fachmedien

    Study Denken und Darstellung

    Logik und Werte Dingliches und Menschliches in Mathematik und Naturwissenschaften
    1921
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-322-98357-2
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miyamoto | Fuzzy Sets in Information Retrieval and Cluster Analysis | Buch | Sack Fachmedien

    Miyamoto Fuzzy Sets in Information Retrieval and Cluster Analysis

    1990
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-0721-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schindler / Schindler-Tschirner | Mathematische Geschichten V - Binome, Ungleichungen und Beweise | Buch | Sack Fachmedien

    Schindler / Schindler-Tschirner Mathematische Geschichten V - Binome, Ungleichungen und Beweise

    Für begabte Schülerinnen und Schüler in der Mittelstufe
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-662-65404-0
    Medium: Buch
    14,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Artemov | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Nerode / Artemov Logical Foundations of Computer Science

    International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-93099-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fahrenberg / Winter / Gehrke | Relational and Algebraic Methods in Computer Science | Buch | Sack Fachmedien

    Fahrenberg / Winter / Gehrke Relational and Algebraic Methods in Computer Science

    19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-88700-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dowek | Rewriting and Typed Lambda Calculi | Buch | Sack Fachmedien

    Dowek Rewriting and Typed Lambda Calculi

    Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08917-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Günther / Mitterauer / Baldus | Idee und Grundriss einer nicht-Aristotelischen Logik | eBook | Sack Fachmedien
    E-Book

    Günther / Mitterauer / Baldus Idee und Grundriss einer nicht-Aristotelischen Logik

    Mit einem Anhang "Das Phänomen der Orthogonalität" und mit einem Fragment aus dem Nachlass "Die Metamorphose der Zahl"
    unverändertes eBook der 1. Auflage von 1991
    Verlag: Felix Meiner
    ISBN: 978-3-7873-2553-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    73,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Detlefsen | Proof and Knowledge in Mathematics | Buch | Sack Fachmedien

    Detlefsen Proof and Knowledge in Mathematics

    Erscheinungsjahr 1992
    Verlag: Routledge
    ISBN: 978-0-415-06805-5
    Medium: Buch
    190,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Agarwal | Mathematics Before and After Pythagoras | Buch | Sack Fachmedien

    Agarwal Mathematics Before and After Pythagoras

    Exploring the Foundations and Evolution of Mathematical Thought
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-74223-1
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gomes / Biere | Theory and Applications of Satisfiability Testing - SAT 2006 | Buch | Sack Fachmedien

    Gomes / Biere Theory and Applications of Satisfiability Testing - SAT 2006

    9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37206-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langston / Bodlaender | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Langston / Bodlaender Parameterized and Exact Computation

    Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-39098-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    El Yacoubi / Bandini / Chopard | Cellular Automata | Buch | Sack Fachmedien

    El Yacoubi / Bandini / Chopard Cellular Automata

    7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40929-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Logic Programming | Buch | Sack Fachmedien

    Voronkov Logic Programming

    First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55460-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Radermacher / Belli | Industrial and Engineering Applications of Artificial Intelligence and Expert Systems | Buch | Sack Fachmedien

    Radermacher / Belli Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

    5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55601-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Ohlbach / Kruse | Qualitative and Quantitative Practical Reasoning | Buch | Sack Fachmedien

    Gabbay / Ohlbach / Kruse Qualitative and Quantitative Practical Reasoning

    First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63095-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schlechta | Nonmonotonic Logics | Buch | Sack Fachmedien

    Schlechta Nonmonotonic Logics

    Basic Concepts, Results, and Techniques
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62482-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yakovlev / Kleijn | Petri Nets and Other Models of Concurrency - ICATPN 2007 | Buch | Sack Fachmedien

    Yakovlev / Kleijn Petri Nets and Other Models of Concurrency - ICATPN 2007

    28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73093-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harju / Lepistö / Karhumäki | Developments in Language Theory | Buch | Sack Fachmedien

    Harju / Lepistö / Karhumäki Developments in Language Theory

    11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73207-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt | Grundlegungen zu einer allgemeinen affinen Geometrie | Buch | Sack Fachmedien

    Schmidt Grundlegungen zu einer allgemeinen affinen Geometrie

    1995
    Verlag: Springer
    ISBN: 978-3-7643-5171-7
    Medium: Buch
    34,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fellows / Downey | Parameterized Complexity | Buch | Sack Fachmedien

    Fellows / Downey Parameterized Complexity

    1999
    Verlag: Springer
    ISBN: 978-0-387-94883-6
    Medium: Buch
    267,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cori / Razborov / Wood | Logic Colloquium 2000 (hardcover) | Buch | Sack Fachmedien

    Cori / Razborov / Wood Logic Colloquium 2000 (hardcover)

    Lecture Notes in Logic, 19
    1. Auflage 2005
    Verlag: A K Peters/CRC Press
    ISBN: 978-1-56881-252-6
    Medium: Buch
    70,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smets / Gabbay | Belief Change | Buch | Sack Fachmedien

    Smets / Gabbay Belief Change

    1998
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-5162-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Angstenberger | Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering | Buch | Sack Fachmedien

    Angstenberger Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering

    2001
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-7503-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petry | Fuzzy Databases | Buch | Sack Fachmedien

    Petry Fuzzy Databases

    Principles and Applications
    1996
    Verlag: Springer US
    ISBN: 978-0-7923-9667-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Introduction to Fuzzy Reliability | Buch | Sack Fachmedien

    Introduction to Fuzzy Reliability

    1996
    Verlag: Springer US
    ISBN: 978-0-7923-9737-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazoyer / Delorme | Cellular Automata | Buch | Sack Fachmedien

    Mazoyer / Delorme Cellular Automata

    A Parallel Model
    1999
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-5493-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smets / Gabbay | Handbook of Defeasible Reasoning and Uncertainty Management Systems | Buch | Sack Fachmedien

    Smets / Gabbay Handbook of Defeasible Reasoning and Uncertainty Management Systems

    Algorithms for Uncertainty and Defeasible Reasoning
    2001
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6672-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rutkowski | Flexible Neuro-Fuzzy Systems | Buch | Sack Fachmedien

    Rutkowski Flexible Neuro-Fuzzy Systems

    Structures, Learning and Performance Evaluation
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer US
    ISBN: 978-1-4757-7932-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Delzell / Prestel | Mathematical Logic and Model Theory | Buch | Sack Fachmedien

    Delzell / Prestel Mathematical Logic and Model Theory

    A Brief Introduction
    2011
    Verlag: Springer
    ISBN: 978-1-4471-2175-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Teodorescu / Zimmermann / Mlynek | Intelligent Systems and Interfaces | Buch | Sack Fachmedien

    Teodorescu / Zimmermann / Mlynek Intelligent Systems and Interfaces

    2000
    Verlag: Springer US
    ISBN: 978-1-4613-6980-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Virant | Design Considerations of Time in Fuzzy Systems | Buch | Sack Fachmedien

    Virant Design Considerations of Time in Fuzzy Systems

    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer US
    ISBN: 978-1-4613-7115-1
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Skordev | Mathematical Logic and Its Applications | Buch | Sack Fachmedien

    Skordev Mathematical Logic and Its Applications

    1987
    Verlag: Springer US
    ISBN: 978-1-4612-8234-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chatti | Arabic Logic from al-F¿r¿b¿ to Averroes | Buch | Sack Fachmedien

    Chatti Arabic Logic from al-F¿r¿b¿ to Averroes

    A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-27465-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanna / de Villiers / Reid | Proof Technology in Mathematics Research and Teaching | Buch | Sack Fachmedien

    Hanna / de Villiers / Reid Proof Technology in Mathematics Research and Teaching

    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-28485-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krantz | The Proof is in the Pudding | Buch | Sack Fachmedien

    Krantz The Proof is in the Pudding

    The Changing Nature of Mathematical Proof
    Softcover Nachdruck of the original 1. Auflage 2011
    Verlag: Springer US
    ISBN: 978-1-4939-3883-4
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cunningham | A Logical Introduction to Proof | Buch | Sack Fachmedien

    Cunningham A Logical Introduction to Proof

    2013
    Verlag: Springer
    ISBN: 978-1-4899-9099-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaitin | The LIMITS of MATHEMATICS | Buch | Sack Fachmedien

    Chaitin The LIMITS of MATHEMATICS

    A Course on Information Theory and the Limits of Formal Reasoning
    1. Auflage 1997. 2. printing 2002
    Verlag: Springer
    ISBN: 978-1-85233-668-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Skordev | Computability in Combinatory Spaces | Buch | Sack Fachmedien

    Skordev Computability in Combinatory Spaces

    An Algebraic Generalization of Abstract First Order Computability
    Softcover Nachdruck of the original 1. Auflage 1992
    Verlag: Springer Netherlands
    ISBN: 978-94-010-5165-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pollard / Martin | Closure Spaces and Logic | Buch | Sack Fachmedien

    Pollard / Martin Closure Spaces and Logic

    1996
    Verlag: Springer US
    ISBN: 978-0-7923-4110-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Darvas / Agazzi | Philosophy of Mathematics Today | Buch | Sack Fachmedien

    Darvas / Agazzi Philosophy of Mathematics Today

    1997
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-4343-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hindley / Groote | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Hindley / Groote Typed Lambda Calculi and Applications

    Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62688-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grigorieva | Methods of Solving Number Theory Problems | Buch | Sack Fachmedien

    Grigorieva Methods of Solving Number Theory Problems

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-90914-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krantz | The Elements of Advanced Mathematics | Buch | Sack Fachmedien

    Krantz The Elements of Advanced Mathematics

    5. Auflage 2022
    Verlag: Chapman and Hall/CRC
    ISBN: 978-1-032-10275-7
    Medium: Buch
    123,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kähler | Innerer und äusserer Differentialkalkül | Buch | Sack Fachmedien

    Kähler Innerer und äusserer Differentialkalkül

    Nachdruck 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-255051-9
    Medium: Buch
    109,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitting | First-Order Logic and Automated Theorem Proving | Buch | Sack Fachmedien

    Fitting First-Order Logic and Automated Theorem Proving

    2. Auflage 1996
    Verlag: Springer
    ISBN: 978-1-4612-7515-2
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strick | Kunterbunte Mathematik | Buch | Sack Fachmedien

    Strick Kunterbunte Mathematik

    Begeisternde Erkundungen für Kinder, Lehrende und Eltern
    2023
    Verlag: Springer
    ISBN: 978-3-662-67312-6
    Medium: Buch
    27,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atallah / Blanton | Algorithms and Theory of Computation Handbook - 2 Volume Set | Buch | Sack Fachmedien

    Atallah / Blanton Algorithms and Theory of Computation Handbook - 2 Volume Set

    2. Auflage 2009
    Verlag: Chapman and Hall/CRC
    ISBN: 978-1-58488-818-5
    Medium: Buch
    212,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keimel | Domains and Processes | Buch | Sack Fachmedien

    Keimel Domains and Processes

    Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
    2001
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-7143-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polya | How to Solve It | eBook | Sack Fachmedien
    E-Book

    Polya How to Solve It

    A New Aspect of Mathematical Method
    1. Auflage 2014
    Verlag: De Gruyter
    ISBN: 978-1-4008-2867-8
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    17,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Piccolomini d’Aragona | Prawitz's Epistemic Grounding | Buch | Sack Fachmedien

    Piccolomini d’Aragona Prawitz's Epistemic Grounding

    An Investigation into the Power of Deduction
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-20296-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorrieri | Process Algebras for Petri Nets | Buch | Sack Fachmedien

    Gorrieri Process Algebras for Petri Nets

    The Alphabetization of Distributed Systems
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-55558-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martino | Intuitionistic Proof Versus Classical Truth | Buch | Sack Fachmedien

    Martino Intuitionistic Proof Versus Classical Truth

    The Role of Brouwer's Creative Subject in Intuitionistic Mathematics
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-74356-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aguirre / Merali / Foster | Wandering Towards a Goal | Buch | Sack Fachmedien

    Aguirre / Merali / Foster Wandering Towards a Goal

    How Can Mindless Mathematical Laws Give Rise to Aims and Intention?
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-75725-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorrieri | Process Algebras for Petri Nets | Buch | Sack Fachmedien

    Gorrieri Process Algebras for Petri Nets

    The Alphabetization of Distributed Systems
    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-85694-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Artemov | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Nerode / Artemov Logical Foundations of Computer Science

    International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-36754-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohuchi / Hagiya | DNA Computing | Buch | Sack Fachmedien

    Ohuchi / Hagiya DNA Computing

    8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00531-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Champarnaud / Ziadi / Maurel | Automata Implementation | Buch | Sack Fachmedien

    Champarnaud / Ziadi / Maurel Automata Implementation

    Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66652-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Epstein | The Theory of Gambling and Statistical Logic | eBook | Sack Fachmedien
    E-Book

    Epstein The Theory of Gambling and Statistical Logic

    2. Auflage 2009
    Verlag: Academic Press
    ISBN: 978-0-08-095861-3
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    35,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gabbay / Goncharov / Zakharyaschev | Mathematical Problems from Applied Logic II | Buch | Sack Fachmedien

    Gabbay / Goncharov / Zakharyaschev Mathematical Problems from Applied Logic II

    Logics for the Xxist Century
    2007. Auflage 2007
    Verlag: Springer
    ISBN: 978-0-387-69244-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castéran / Bertot | Interactive Theorem Proving and Program Development | Buch | Sack Fachmedien

    Castéran / Bertot Interactive Theorem Proving and Program Development

    Coq'Art: The Calculus of Inductive Constructions
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20854-9
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Benthem / Parikh / Gupta | Proof, Computation and Agency | Buch | Sack Fachmedien

    van Benthem / Parikh / Gupta Proof, Computation and Agency

    Logic at the Crossroads
    2011
    Verlag: Springer Netherlands
    ISBN: 978-94-007-3581-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cignoli / Mundici / d'Ottaviano | Algebraic Foundations of Many-Valued Reasoning | Buch | Sack Fachmedien

    Cignoli / Mundici / d'Ottaviano Algebraic Foundations of Many-Valued Reasoning

    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer Netherlands
    ISBN: 978-90-481-5336-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pinus | Boolean Constructions in Universal Algebras | Buch | Sack Fachmedien

    Pinus Boolean Constructions in Universal Algebras

    1. Auflage. Softcover version of original hardcover Auflage 1993
    Verlag: Springer Netherlands
    ISBN: 978-90-481-4239-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hintikka | Language, Truth and Logic in Mathematics | Buch | Sack Fachmedien

    Hintikka Language, Truth and Logic in Mathematics

    1. Auflage. Softcover version of original hardcover Auflage 1997
    Verlag: Springer Netherlands
    ISBN: 978-90-481-4923-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmitt / Bibel | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | Buch | Sack Fachmedien

    Schmitt / Bibel Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    1. Auflage. Softcover version of original hardcover Auflage 1998
    Verlag: Springer Netherlands
    ISBN: 978-90-481-5050-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schubring | Hermann Günther Graßmann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar | Buch | Sack Fachmedien

    Schubring Hermann Günther Graßmann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar

    1. Auflage. Softcover version of original hardcover Auflage 1996
    Verlag: Springer Netherlands
    ISBN: 978-90-481-4758-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Granström | Treatise on Intuitionistic Type Theory | Buch | Sack Fachmedien

    Granström Treatise on Intuitionistic Type Theory

    2011
    Verlag: Springer Netherlands
    ISBN: 978-94-007-1735-0
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hintikka | Language, Truth and Logic in Mathematics | Buch | Sack Fachmedien

    Hintikka Language, Truth and Logic in Mathematics

    1997
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-4766-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmitt / Bibel | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | Buch | Sack Fachmedien

    Schmitt / Bibel Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    1998
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-5130-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shaw | Fuzzy Control of Industrial Systems | Buch | Sack Fachmedien

    Shaw Fuzzy Control of Industrial Systems

    Theory and Applications
    Softcover Nachdruck of hardcover 1. Auflage 1998
    Verlag: Springer US
    ISBN: 978-1-4419-5055-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hendricks / Jørgensen / Pedersen | Proof Theory | Buch | Sack Fachmedien

    Hendricks / Jørgensen / Pedersen Proof Theory

    History and Philosophical Significance
    2000
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6544-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrlich | Real Numbers, Generalizations of the Reals, and Theories of Continua | Buch | Sack Fachmedien

    Ehrlich Real Numbers, Generalizations of the Reals, and Theories of Continua

    1994
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-2689-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shaw | Fuzzy Control of Industrial Systems | Buch | Sack Fachmedien

    Shaw Fuzzy Control of Industrial Systems

    Theory and Applications
    1998
    Verlag: Springer US
    ISBN: 978-0-7923-8249-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horská | Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals | Buch | Sack Fachmedien

    Horská Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02170-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castéran / Bertot | Interactive Theorem Proving and Program Development | Buch | Sack Fachmedien

    Castéran / Bertot Interactive Theorem Proving and Program Development

    Coq'Art: The Calculus of Inductive Constructions
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05880-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weingartner | Alternative Logics. Do Sciences Need Them? | Buch | Sack Fachmedien

    Weingartner Alternative Logics. Do Sciences Need Them?

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40744-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bochman | A Logical Theory of Nonmonotonic Inference and Belief Change | Buch | Sack Fachmedien

    Bochman A Logical Theory of Nonmonotonic Inference and Belief Change

    1. Auflage. Softcover version of original hardcover Auflage 2001
    Verlag: Springer
    ISBN: 978-3-642-07516-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brattka / Hertling | Handbook of Computability and Complexity in Analysis | Buch | Sack Fachmedien

    Brattka / Hertling Handbook of Computability and Complexity in Analysis

    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-59233-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Galaugher | Russell's Philosophy of Logical Analysis, 1897-1905 | Buch | Sack Fachmedien

    Galaugher Russell's Philosophy of Logical Analysis, 1897-1905

    1. Auflage 2013
    Verlag: Palgrave Macmillan UK
    ISBN: 978-1-349-45373-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dzhafarov / Mummert | Reverse Mathematics | Buch | Sack Fachmedien

    Dzhafarov / Mummert Reverse Mathematics

    Problems, Reductions, and Proofs
    1. Auflage 2022
    Verlag: Palgrave Macmillan
    ISBN: 978-3-031-11369-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schlechta / Gabbay | A New Perspective on Nonmonotonic Logics | Buch | Sack Fachmedien

    Schlechta / Gabbay A New Perspective on Nonmonotonic Logics

    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46815-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Silva | Intelligent Control | Buch | Sack Fachmedien

    de Silva Intelligent Control

    Fuzzy Logic Applications
    1. Auflage 1995
    Verlag: CRC Press
    ISBN: 978-0-8493-7982-6
    Medium: Buch
    253,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cooper / Soskova | The Incomputable | Buch | Sack Fachmedien

    Cooper / Soskova The Incomputable

    Journeys Beyond the Turing Barrier
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-43667-8
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ribeiro / Sekerinski | Formal Methods Teaching | Buch | Sack Fachmedien

    Ribeiro / Sekerinski Formal Methods Teaching

    6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-71378-1
    Medium: Buch
    40,65 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Magnani / Bertolotti | Springer Handbook of Model-Based Science | Buch | Sack Fachmedien

    Magnani / Bertolotti Springer Handbook of Model-Based Science

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-30525-7
    Medium: Buch
    349,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montano | Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics | Buch | Sack Fachmedien

    Montano Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics

    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-35381-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutilh Novaes | Formal Languages in Logic | Buch | Sack Fachmedien

    Dutilh Novaes Formal Languages in Logic

    Erscheinungsjahr 2012
    Verlag: Cambridge University Press
    ISBN: 978-1-107-02091-7
    Medium: Buch
    123,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Routley / Weber | Ultralogic as Universal? | Buch | Sack Fachmedien

    Routley / Weber Ultralogic as Universal?

    The Sylvan Jungle - Volume 4
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-91973-7
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anderson | Automata Theory with Modern Applications | Buch | Sack Fachmedien

    Anderson Automata Theory with Modern Applications

    Erscheinungsjahr 2006
    Verlag: Cambridge University Press
    ISBN: 978-0-521-84887-9
    Medium: Buch
    102,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sauer / Woodrow / Sands | Finite and Infinite Combinatorics in Sets and Logic | Buch | Sack Fachmedien

    Sauer / Woodrow / Sands Finite and Infinite Combinatorics in Sets and Logic

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-94-010-4923-8
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Routley / Hyde | Noneist Explorations II | Buch | Sack Fachmedien

    Routley / Hyde Noneist Explorations II

    The Sylvan Jungle - Volume 3
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-58863-2
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Centrone / Schuster / Negri | Mathesis Universalis, Computability and Proof | Buch | Sack Fachmedien

    Centrone / Schuster / Negri Mathesis Universalis, Computability and Proof

    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-20449-5
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koslow | Laws and Explanations; Theories and Modal Possibilities | Buch | Sack Fachmedien

    Koslow Laws and Explanations; Theories and Modal Possibilities

    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-18848-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Binder / Schroeder-Heister / Piecha | The Logical Writings of Karl Popper | Buch | Sack Fachmedien

    Binder / Schroeder-Heister / Piecha The Logical Writings of Karl Popper

    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-94928-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hansen | Founding Mathematics on Semantic Conventions | Buch | Sack Fachmedien

    Hansen Founding Mathematics on Semantic Conventions

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-88536-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular