Ergebnisse filtern
Fachgebiet
Medium
  • 2063
  • 158
  • 18
Erscheinungsjahr
  • 1
  • 4
  • 69
  • 99
  • 85
  • 96
  • 107
  • 96
  • 73
  • 112
  • 59
  • 69
  • 48
  • 71
  • 84
  • 158
  • 69
  • 146
  • 33
  • 34
  • 17
  • 30
  • 33
  • 32
  • 24
  • 52
  • 60
  • 48
  • 40
  • 34
  • 34
  • 29
  • 30
  • 26
  • 25
  • 21
  • 11
  • 9
  • 15
  • 9
  • 7
  • 5
  • 11
  • 6
  • 7
  • 2
  • 6
  • 9
  • 2
  • 3
  • 5
  • 3
  • 5
  • 3
  • 8
  • 3
  • 4
  • 8
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 7
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 6
  • 2
  • 2
  • 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
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 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
  • 6
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 11
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 35
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 10
  • 7
  • 8
  • 2
  • 3
  • 4
  • 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
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 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
  • 2
  • 3
  • 2
  • 2
  • 5
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 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
  • 3
  • 2
  • 3
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 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
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 7
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 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
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 9
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 9
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 9
  • 3
  • 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
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 8
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 11
  • 4
  • 3
  • 7
  • 5
  • 3
  • 4
  • 6
  • 4
  • 8
  • 3
  • 4
  • 4
  • 4
  • 9
  • 8
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 6
  • 6
  • 3
  • 4
  • 3
  • 3
  • 5
  • 5
  • 5
  • 14
Verlag
  • 25
  • 2
  • 7
  • 1
  • 2
  • 2
  • 36
  • 2
  • 1
  • 11
  • 1
  • 1
  • 1
  • 3
  • 141
  • 26
  • 2
  • 35
  • 163
  • 2
  • 1
  • 1
  • 2
  • 6
  • 19
  • 2
  • 5
  • 5
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 56
  • 1
  • 1
  • 1
  • 4
  • 38
  • 2
  • 5
  • 2
  • 1
  • 5
  • 25
  • 2
  • 1
  • 4
  • 1
  • 26
  • 1
  • 1
  • 1
  • 1
  • 952
  • 31
  • 4
  • 177
  • 3
  • 2
  • 1
  • 17
  • 12
  • 144
  • 9
  • 66
  • 6
  • 2
  • 30
  • 9
  • 5
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 15
  • 2
  • 1
  • 20
  • 1
  • 1
  • 2
  • 4
Preis
  • 63
  • 188
  • 720
  • 1268
Sprachen
  • 2047
  • 185
  • 17
  • 8
  • 2
  • 1
Verfügbarkeit
  • 2226
  • 13
Eigenschaften
  • 2
Katalog
  • 2239
  • 131
2.239  Titel
    Dosen | Cut Elimination in Categories | Buch | Sack Fachmedien

    Dosen Cut Elimination in Categories

    1999
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-5720-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alblas / Melichar | Attribute Grammars, Applications and Systems | Buch | Sack Fachmedien

    Alblas / Melichar Attribute Grammars, Applications and Systems

    International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54572-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Platz / Flynn / Neal | Model Validation and Uncertainty Quantification, Volume 3 | Buch | Sack Fachmedien

    Platz / Flynn / Neal Model Validation and Uncertainty Quantification, Volume 3

    Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-37005-2
    Medium: Buch
    267,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eklund | Concept Lattices | Buch | Sack Fachmedien

    Eklund Concept Lattices

    Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21043-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reuter / Möller | Uncertainty Forecasting in Engineering | Buch | Sack Fachmedien

    Reuter / Möller Uncertainty Forecasting in Engineering

    Softcover Nachdruck of hardcover 1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-642-07205-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kharlampovich / Sklinos | Groups and Model Theory | Buch | Sack Fachmedien

    Kharlampovich / Sklinos Groups and Model Theory

    GAGTA BOOK 2
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-071966-6
    Medium: Buch
    169,95 € (inkl. MwSt.)
    RRP
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rathjen / Kahle | Gentzen's Centenary | Buch | Sack Fachmedien

    Rathjen / Kahle Gentzen's Centenary

    The Quest for Consistency
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10102-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Metcalfe / Gabbay / Olivetti | Proof Theory for Fuzzy Logics | Buch | Sack Fachmedien

    Metcalfe / Gabbay / Olivetti Proof Theory for Fuzzy Logics

    1. Auflage. Softcover version of original hardcover Auflage 2009
    Verlag: Springer Netherlands
    ISBN: 978-90-481-8121-6
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calude / Dinneen | Developments in Language Theory | Buch | Sack Fachmedien

    Calude / Dinneen Developments in Language Theory

    8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24014-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Grandjean / Seyr | Computer Science Logic | Buch | Sack Fachmedien

    Gottlob / Grandjean / Seyr Computer Science Logic

    12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65922-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snyder | A Proof Theory for General Unification | Buch | Sack Fachmedien

    Snyder A Proof Theory for General Unification

    Erscheinungsjahr 2012
    Verlag: Birkhäuser
    ISBN: 978-1-4612-6758-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Capelas de Oliveira / Teixeira | Mastering Calculus through Practice | Buch | Sack Fachmedien

    Capelas de Oliveira / Teixeira Mastering Calculus through Practice

    A Study Guide with over 300 Solved Exercises
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-95823-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wansing / Shramko | Truth and Falsehood | Buch | Sack Fachmedien

    Wansing / Shramko Truth and Falsehood

    An Inquiry into Generalized Logical Values
    2012
    Verlag: Springer Netherlands
    ISBN: 978-94-007-3734-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lightstone | Mathematical Logic | Buch | Sack Fachmedien

    Lightstone Mathematical Logic

    An Introduction to Model Theory
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4615-8752-1
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Neidhart | Einführung in die formale Logik | Buch | Sack Fachmedien

    Neidhart Einführung in die formale Logik

    1. Auflage 2021
    Verlag: Verlag Editiones Scholasticae
    ISBN: 978-3-86838-229-7
    Medium: Buch
    19,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu | Uncertainty Theory | Buch | Sack Fachmedien

    Liu Uncertainty Theory

    4th Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-44353-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McGuinness | Friedrich Waismann - Causality and Logical Positivism | Buch | Sack Fachmedien

    McGuinness Friedrich Waismann - Causality and Logical Positivism

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-94-007-3642-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weiss | Constructive Semantics | Buch | Sack Fachmedien

    Weiss Constructive Semantics

    Meaning in Between Phenomenology and Constructivism
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-21315-2
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kobayashi / Worrell | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Kobayashi / Worrell Foundations of Software Science and Computation Structures

    27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-57227-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akram | Fuzzy Lie Algebras | Buch | Sack Fachmedien

    Akram Fuzzy Lie Algebras

    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-981-13-3220-3
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pin | Formal Properties of Finite Automata and Applications | Buch | Sack Fachmedien

    Pin Formal Properties of Finite Automata and Applications

    LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51631-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Belohlávek | Fuzzy Relational Systems | Buch | Sack Fachmedien

    Belohlávek Fuzzy Relational Systems

    Foundations and Principles
    2002
    Verlag: Springer US
    ISBN: 978-0-306-46777-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lassaigne / Rougemont | Logic and Complexity | Buch | Sack Fachmedien

    Lassaigne / Rougemont Logic and Complexity

    2004. Auflage 2004
    Verlag: Springer
    ISBN: 978-1-85233-565-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sui / Li | R-Calculus, IV: Propositional Logic | Buch | Sack Fachmedien

    Sui / Li R-Calculus, IV: Propositional Logic

    1. Auflage 2023
    Verlag: Springer Nature Singapore
    ISBN: 978-981-19-8632-1
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouyer / Schröder | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Bouyer / Schröder Foundations of Software Science and Computation Structures

    25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-99252-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klement / Rodabaugh | Topological and Algebraic Structures in Fuzzy Sets | Buch | Sack Fachmedien

    Klement / Rodabaugh Topological and Algebraic Structures in Fuzzy Sets

    A Handbook of Recent Developments in the Mathematics of Fuzzy Sets
    1. Auflage. Softcover version of original hardcover Auflage 2003
    Verlag: Springer Netherlands
    ISBN: 978-90-481-6378-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Citkin / Vandoulakis | V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics | Buch | Sack Fachmedien

    Citkin / Vandoulakis V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-06845-4
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Väänänen | Generalized Quantifiers and Computation | Buch | Sack Fachmedien

    Väänänen Generalized Quantifiers and Computation

    9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-66993-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aguirre / Merali / Foster | What is Fundamental? | Buch | Sack Fachmedien

    Aguirre / Merali / Foster What is Fundamental?

    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-11300-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Nola / Grigolia / Turunen | Fuzzy Logic of Quasi-Truth: An Algebraic Treatment | Buch | Sack Fachmedien

    Di Nola / Grigolia / Turunen Fuzzy Logic of Quasi-Truth: An Algebraic Treatment

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-80801-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ebbinghaus / Thomas / Flum | Einführung in die mathematische Logik | Buch | Sack Fachmedien

    Ebbinghaus / Thomas / Flum Einführung in die mathematische Logik

    6., überarbeitete und erweiterte Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-58028-8
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pedrycz / Bargiela | Granular Computing | Buch | Sack Fachmedien

    Pedrycz / Bargiela Granular Computing

    An Introduction
    2003
    Verlag: Springer US
    ISBN: 978-1-4613-5361-4
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jaiani / Natroshvili | Applications of Mathematics and Informatics in Natural Sciences and Engineering | Buch | Sack Fachmedien

    Jaiani / Natroshvili Applications of Mathematics and Informatics in Natural Sciences and Engineering

    AMINSE 2019, Tbilisi, Georgia, September 23-26
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-56358-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Craig | God and Abstract Objects | Buch | Sack Fachmedien

    Craig God and Abstract Objects

    The Coherence of Theism: Aseity
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-55383-2
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Lee / Ono | Philosophical Logic: Current Trends in Asia | Buch | Sack Fachmedien

    Yang / Lee / Ono Philosophical Logic: Current Trends in Asia

    Proceedings of AWPL-TPLC 2016
    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-981-13-4863-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hadjiantonis / Flach | Abduction and Induction | Buch | Sack Fachmedien

    Hadjiantonis / Flach Abduction and Induction

    Essays on their Relation and Integration
    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer Netherlands
    ISBN: 978-90-481-5433-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scharlau | Richard Dedekind 1831-1981 | Buch | Sack Fachmedien

    Scharlau Richard Dedekind 1831-1981

    Eine Würdigung zu seinem 150. Geburtstag
    1981
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-08498-1
    Medium: Buch
    64,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreirós | Labyrinth of Thought | Buch | Sack Fachmedien

    Ferreirós Labyrinth of Thought

    A History of Set Theory and Its Role in Modern Mathematics
    2. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-7643-8349-7
    Medium: Buch
    80,24 € (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?
    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-09310-5
    Medium: Buch
    60,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rahman / McConaughey / Klev | Immanent Reasoning or Equality in Action | Buch | Sack Fachmedien

    Rahman / McConaughey / Klev Immanent Reasoning or Equality in Action

    A Plaidoyer for the Play Level
    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-08187-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morphy / Lange | Skizze aus der Schachwelt | Buch | Sack Fachmedien

    Morphy / Lange Skizze aus der Schachwelt

    Nachdruck 2020
    Verlag: De Gruyter
    ISBN: 978-3-11-236055-2
    Medium: Buch
    109,95 € (inkl. MwSt.)
    List Price
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rizza | Model Theory: The Algebraic Basics | Buch | Sack Fachmedien

    Rizza Model Theory: The Algebraic Basics

    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-03795-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shinoda / Slaman / Tugue | Mathematical Logic and Applications | Buch | Sack Fachmedien

    Shinoda / Slaman / Tugue Mathematical Logic and Applications

    Proceedings of the Logic Meeting held in Kyoto, 1987
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51527-2
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langholz / Kandel | Fuzzy Hardware | Buch | Sack Fachmedien

    Langholz / Kandel Fuzzy Hardware

    Architectures and Applications
    1998
    Verlag: Springer US
    ISBN: 978-1-4613-6831-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crossley / Sweedler / Remmel | Logical Methods | Buch | Sack Fachmedien

    Crossley / Sweedler / Remmel Logical Methods

    In Honor of Anil Nerode's Sixtieth Birthday
    1993
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3690-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hounkonnou / Mitrovic / Mitrovic | Algebra without Borders - Classical and Constructive Nonassociative Algebraic Structures | Buch | Sack Fachmedien

    Hounkonnou / Mitrovic / Mitrovic Algebra without Borders - Classical and Constructive Nonassociative Algebraic Structures

    Foundations and Applications
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-39336-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esparza / Lakos | Application and Theory of Petri Nets 2002 | Buch | Sack Fachmedien

    Esparza / Lakos Application and Theory of Petri Nets 2002

    23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43787-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dalla Chiara / Sergioli / Giuntini | Quantum Computation and Logic | Buch | Sack Fachmedien

    Dalla Chiara / Sergioli / Giuntini Quantum Computation and Logic

    How Quantum Computers Have Inspired Logical Investigations
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-04470-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciardelli | Inquisitive Logic | Buch | Sack Fachmedien

    Ciardelli Inquisitive Logic

    Consequence and Inference in the Realm of Questions
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-09705-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Policriti / Omodeo | Martin Davis on Computability, Computational Logic, and Mathematical Foundations | Buch | Sack Fachmedien

    Policriti / Omodeo Martin Davis on Computability, Computational Logic, and Mathematical Foundations

    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-41841-4
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schubert | Zwölf Geduldspiele | Buch | Sack Fachmedien

    Schubert Zwölf Geduldspiele

    Zauberquadrate, Rösselsprung-Bildungen, Boss-Puzzle, Nonnenspiel, Spaziergänge der Pensionatsdamen, Umfüllungs-Aufgaben, Rundreise-Spiele u. s. w. für Nicht-Mathematiker zum Zwecke der Unterhaltung
    Neue Ausgabe. Nachdruck 2020
    Verlag: De Gruyter
    ISBN: 978-3-11-235449-0
    Medium: Buch
    109,95 € (inkl. MwSt.)
    List Price
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grohe / Flum | Parameterized Complexity Theory | Buch | Sack Fachmedien

    Grohe / Flum Parameterized Complexity Theory

    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29952-3
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonzio / Paoli / Pra Baldi | Logics of Variable Inclusion | Buch | Sack Fachmedien

    Bonzio / Paoli / Pra Baldi Logics of Variable Inclusion

    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-04296-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lusk / Overbeek | 9th International Conference on Automated Deduction | Buch | Sack Fachmedien

    Lusk / Overbeek 9th International Conference on Automated Deduction

    Argonne, Illinois, USA, May 23-26, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19343-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Whitesitt | Boolesche Algebra und ihre Anwendungen | Buch | Sack Fachmedien

    Whitesitt Boolesche Algebra und ihre Anwendungen

    1964
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-322-96119-8
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gosson | Quantum Harmonic Analysis | Buch | Sack Fachmedien

    Gosson Quantum Harmonic Analysis

    An Introduction
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-072261-1
    Medium: Buch
    169,95 € (inkl. MwSt.)
    RRP
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertrand / Dubslaff / Klüppelholz | Principles of Formal Quantitative Analysis | Buch | Sack Fachmedien

    Bertrand / Dubslaff / Klüppelholz Principles of Formal Quantitative Analysis

    Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-97438-0
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferré / Rudolph | Formal Concept Analysis | Buch | Sack Fachmedien

    Ferré / Rudolph Formal Concept Analysis

    7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01814-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Medvedev / Kopytov | The Theory of Lattice-Ordered Groups | Buch | Sack Fachmedien

    Medvedev / Kopytov The Theory of Lattice-Ordered Groups

    1994
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-3169-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tarski | Collected Papers | Buch | Sack Fachmedien

    Tarski Collected Papers

    Volume 4: 1958-1979
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-95416-5
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonzon / Nossum / Cavalcanti | Formal Aspects of Context | Buch | Sack Fachmedien

    Bonzon / Nossum / Cavalcanti Formal Aspects of Context

    2000
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6350-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Blum / Smale / Cucker | Complexity and Real Computation | Buch | Sack Fachmedien

    Blum / Smale / Cucker Complexity and Real Computation

    1998
    Verlag: Springer
    ISBN: 978-1-4612-6873-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    König | Neue Grundlagen der Logik, Arithmetik und Mengenlehre | Buch | Sack Fachmedien

    König Neue Grundlagen der Logik, Arithmetik und Mengenlehre

    Nachdruck 2020
    Verlag: De Gruyter
    ISBN: 978-3-11-235963-1
    Medium: Buch
    109,95 € (inkl. MwSt.)
    List Price
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frigg / Nguyen | Modelling Nature: An Opinionated Introduction to Scientific Representation | Buch | Sack Fachmedien

    Frigg / Nguyen Modelling Nature: An Opinionated Introduction to Scientific Representation

    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-45155-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / Chong | Recursion Theory | Buch | Sack Fachmedien

    Yu / Chong Recursion Theory

    Computational Aspects of Definability
    1. Auflage 2015
    Verlag: De Gruyter
    ISBN: 978-3-11-027555-1
    Medium: Buch
    164,95 € (inkl. MwSt.)
    RRP
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronchi Della Rocca | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Ronchi Della Rocca Typed Lambda Calculi and Applications

    8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73227-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Srivastava / Sarbadhikari | A Course on Basic Model Theory | Buch | Sack Fachmedien

    Srivastava / Sarbadhikari A Course on Basic Model Theory

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer Nature Singapore
    ISBN: 978-981-13-5318-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blum / Smale / Cucker | Complexity and Real Computation | Buch | Sack Fachmedien

    Blum / Smale / Cucker Complexity and Real Computation

    1998
    Verlag: Springer
    ISBN: 978-0-387-98281-6
    Medium: Buch
    85,55 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Georgescu | Fuzzy Choice Functions | Buch | Sack Fachmedien

    Georgescu Fuzzy Choice Functions

    A Revealed Preference Approach
    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer
    ISBN: 978-3-642-08855-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schindler-Tschirner / Schindler | Mathematische Geschichten VII - Extremwerte, Modulo und Beweise | Buch | Sack Fachmedien

    Schindler-Tschirner / Schindler Mathematische Geschichten VII - Extremwerte, Modulo und Beweise

    Für begabte Schülerinnen und Schüler in der Oberstufe
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-662-67847-3
    Medium: Buch
    14,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grzegorczyk | An Outline of Mathematical Logic | Buch | Sack Fachmedien

    Grzegorczyk An Outline of Mathematical Logic

    Fundamental Results and Notions Explained with all Details
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-94-010-2114-2
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Viale | The Forcing Method in Set Theory | Buch | Sack Fachmedien

    Viale The Forcing Method in Set Theory

    An Introduction via Boolean Valued Logic
    2024
    Verlag: Springer
    ISBN: 978-3-031-71659-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cameron | Sets, Logic and Categories | Buch | Sack Fachmedien

    Cameron Sets, Logic and Categories

    1998
    Verlag: Springer
    ISBN: 978-1-85233-056-9
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    The Theory of Classes of Groups | Buch | Sack Fachmedien

    The Theory of Classes of Groups

    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer
    ISBN: 978-94-010-5785-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahle / Studer / Strahm | Advances in Proof Theory | Buch | Sack Fachmedien

    Kahle / Studer / Strahm Advances in Proof Theory

    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-29196-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Jäger / Kleine Büning | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Jäger / Kleine Büning Computer Science Logic

    6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56992-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atif / Groote | Understanding Behaviour of Distributed Systems Using mCRL2 | Buch | Sack Fachmedien

    Atif / Groote Understanding Behaviour of Distributed Systems Using mCRL2

    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-23007-3
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nijholt | Context-Free Grammars | Buch | Sack Fachmedien

    Nijholt Context-Free Grammars

    Covers, Normal Forms, and Parsing
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10245-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mangani | Model Theory and Applications | Buch | Sack Fachmedien

    Mangani Model Theory and Applications

    Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975
    Nachdruck of the 1. Auflage C.I.M.E., Auflage Ceromonese, Roma, 1975
    Verlag: Springer
    ISBN: 978-3-642-11119-8
    Medium: Buch
    21,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pym | The Semantics and Proof Theory of the Logic of Bunched Implications | Buch | Sack Fachmedien

    Pym The Semantics and Proof Theory of the Logic of Bunched Implications

    2002
    Verlag: Springer Netherlands
    ISBN: 978-1-4020-0745-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hart / Valeriote / Lachlan | Algebraic Model Theory | Buch | Sack Fachmedien

    Hart / Valeriote / Lachlan Algebraic Model Theory

    1997
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-4666-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Kleine Büning / Richter | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Kleine Büning / Richter Computer Science Logic

    4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54487-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doberkat | Stochastic Coalgebraic Logic | Buch | Sack Fachmedien

    Doberkat Stochastic Coalgebraic Logic

    2009
    Verlag: Springer
    ISBN: 978-3-642-26147-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Kurshan | Computer-Aided Verification | Buch | Sack Fachmedien

    Clarke / Kurshan Computer-Aided Verification

    2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54477-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marek / Nerode / Truszcynski | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Marek / Nerode / Truszcynski Logic Programming and Nonmonotonic Reasoning

    Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59487-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Valette | Application and Theory of Petri Nets 1994 | Buch | Sack Fachmedien

    Valette Application and Theory of Petri Nets 1994

    15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58152-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scholz / Hasenjaeger | Grundzüge der Mathematischen Logik | Buch | Sack Fachmedien

    Scholz / Hasenjaeger Grundzüge der Mathematischen Logik

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-94815-2
    Medium: Buch
    74,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bello / Pedrycz / Falcón | Granular Computing: At the Junction of Rough Sets and Fuzzy Sets | Buch | Sack Fachmedien

    Bello / Pedrycz / Falcón Granular Computing: At the Junction of Rough Sets and Fuzzy Sets

    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-76972-9
    Medium: Buch
    160,49 € (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

    2000
    Verlag: Springer US
    ISBN: 978-0-7923-6100-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fann | Peirce's Theory of Abduction | Buch | Sack Fachmedien

    Fann Peirce's Theory of Abduction

    1970
    Verlag: Springer Netherlands
    ISBN: 978-90-247-0043-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Engeler | The Combinatory Programme | Buch | Sack Fachmedien

    Engeler The Combinatory Programme

    1995
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3801-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bläsius / Hedtstück / Rollinger | Sorts and Types in Artificial Intelligence | Buch | Sack Fachmedien

    Bläsius / Hedtstück / Rollinger Sorts and Types in Artificial Intelligence

    Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52337-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parravicini | Le fondamenta della fisica sperimentale | Buch | Sack Fachmedien

    Parravicini Le fondamenta della fisica sperimentale

    I presupposti del sapere fisico e scientifico
    2024
    Verlag: Springer
    ISBN: 978-3-031-63080-4
    Medium: Buch
    41,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Ono / Yu | Knowledge, Proof and Dynamics | Buch | Sack Fachmedien

    Liu / Ono / Yu Knowledge, Proof and Dynamics

    The Fourth Asian Workshop on Philosophical Logic
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-981-15-2223-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martin / Ralescu | Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems | Buch | Sack Fachmedien

    Martin / Ralescu Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems

    IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62474-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cantini / Casari / Minari | Logic and Foundations of Mathematics | Buch | Sack Fachmedien

    Cantini / Casari / Minari Logic and Foundations of Mathematics

    Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
    1. Auflage. Softcover version of original hardcover Auflage 1999
    Verlag: Springer
    ISBN: 978-90-481-5201-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Verdée / Andreas | Logical Studies of Paraconsistent Reasoning in Science and Mathematics | Buch | Sack Fachmedien

    Verdée / Andreas Logical Studies of Paraconsistent Reasoning in Science and Mathematics

    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40218-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Felgner | Philosophie der Mathematik in der Antike und in der Neuzeit | Buch | Sack Fachmedien

    Felgner Philosophie der Mathematik in der Antike und in der Neuzeit

    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-35933-1
    Medium: Buch
    89,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolf-Gladrow | Lattice-Gas Cellular Automata and Lattice Boltzmann Models | Buch | Sack Fachmedien

    Wolf-Gladrow Lattice-Gas Cellular Automata and Lattice Boltzmann Models

    An Introduction
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-66973-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerioli / Reggio | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Cerioli / Reggio Recent Trends in Algebraic Development Techniques

    15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
    2002
    Verlag: Springer
    ISBN: 978-3-540-43159-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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