Ergebnisse filtern
Fachgebiet
Medium
  • 2061
  • 158
  • 18
Erscheinungsjahr
  • 1
  • 4
  • 69
  • 99
  • 85
  • 96
  • 107
  • 96
  • 73
  • 112
  • 59
  • 69
  • 48
  • 71
  • 83
  • 158
  • 69
  • 145
  • 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
  • 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
  • 2
  • 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
  • 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
  • 2
  • 11
  • 2
  • 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
  • 36
  • 2
  • 5
  • 2
  • 1
  • 5
  • 25
  • 2
  • 1
  • 4
  • 1
  • 26
  • 1
  • 1
  • 1
  • 1
  • 953
  • 31
  • 4
  • 177
  • 3
  • 2
  • 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
  • 1266
Sprachen
  • 2045
  • 185
  • 17
  • 8
  • 2
  • 1
Verfügbarkeit
  • 2224
  • 13
Eigenschaften
  • 2
Katalog
  • 2237
  • 131
2.237  Titel
    Sekerinski / Ribeiro | Formal Methods Teaching | Buch | Sack Fachmedien

    Sekerinski / Ribeiro Formal Methods Teaching

    6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-71378-1
    Medium: Buch
    40,65 € (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
    Stegmüller | Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström | Buch | Sack Fachmedien

    Stegmüller Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström

    1984
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-12213-5
    Medium: Buch
    17,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strichman / Szeider | Theory and Applications of Satisfiability Testing - SAT 2010 | Buch | Sack Fachmedien

    Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010

    13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14185-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harris | Fuzzy Logic Applications in Engineering Science | Buch | Sack Fachmedien

    Harris Fuzzy Logic Applications in Engineering Science

    2. Auflage 2006
    Verlag: Springer
    ISBN: 978-1-4020-4077-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montagnini | Harmonies of Disorder | Buch | Sack Fachmedien

    Montagnini Harmonies of Disorder

    Norbert Wiener: A Mathematician-Philosopher of Our Time
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-50656-2
    Medium: Buch
    90,94 € (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
    Logikkalküle | Buch | Sack Fachmedien

    Logikkalküle

    1978
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02345-6
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crossley | Algebra and Logic | Buch | Sack Fachmedien

    Crossley Algebra and Logic

    Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
    1. Auflage 1975
    Verlag: Springer
    ISBN: 978-3-540-07152-5
    Medium: Buch
    42,75 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Löwe / Räsch / Piwinger | Classical and New Paradigms of Computation and their Complexity Hierarchies | Buch | Sack Fachmedien

    Löwe / Räsch / Piwinger Classical and New Paradigms of Computation and their Complexity Hierarchies

    Papers of the conference "Foundations of the Formal Sciences III"
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer Netherlands
    ISBN: 978-90-481-6718-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anastassiou | Fuzzy Mathematics: Approximation Theory | Buch | Sack Fachmedien

    Anastassiou Fuzzy Mathematics: Approximation Theory

    2010
    Verlag: Springer
    ISBN: 978-3-642-26239-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Sui / Li | R-Calculus, II: Many-Valued Logics | Buch | Sack Fachmedien

    Sui / Li R-Calculus, II: Many-Valued Logics

    1. Auflage 2022
    Verlag: Springer Nature Singapore
    ISBN: 978-981-16-9296-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tholen / Dikranjan | Categorical Structure of Closure Operators | Buch | Sack Fachmedien

    Tholen / Dikranjan Categorical Structure of Closure Operators

    With Applications to Topology, Algebra and Discrete Mathematics
    1. Auflage. Softcover version of original hardcover Auflage 1995
    Verlag: Springer Netherlands
    ISBN: 978-90-481-4631-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Geoghegan / Beck | The Art of Proof | Buch | Sack Fachmedien

    Geoghegan / Beck The Art of Proof

    Basic Training for Deeper Mathematics
    Softcover Nachdruck of the original 1. Auflage 2010
    Verlag: Springer
    ISBN: 978-1-4939-4086-8
    Medium: Buch
    42,75 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parigot / Voronkov | Logic for Programming and Automated Reasoning | Buch | Sack Fachmedien

    Parigot / Voronkov Logic for Programming and Automated Reasoning

    7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41285-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Angelelli | Studies on Gottlob Frege and Traditional Philosophy | Buch | Sack Fachmedien

    Angelelli Studies on Gottlob Frege and Traditional Philosophy

    1. Auflage. Softcover version of original hardcover Auflage 1967
    Verlag: Springer Netherlands
    ISBN: 978-90-481-8326-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kieseppä | Truthlikeness for Multidimensional, Quantitative Cognitive Problems | Buch | Sack Fachmedien

    Kieseppä Truthlikeness for Multidimensional, Quantitative Cognitive Problems

    1996. Auflage 1996
    Verlag: Springer
    ISBN: 978-0-7923-4005-8
    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

    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-0-7923-2689-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Placek | Mathematical Intuitionism and Intersubjectivity | Buch | Sack Fachmedien

    Placek Mathematical Intuitionism and Intersubjectivity

    A Critical Exposition of Arguments for Intuitionism
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-0-7923-5630-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plotkin | Universal Algebra, Algebraic Logic, and Databases | Buch | Sack Fachmedien

    Plotkin Universal Algebra, Algebraic Logic, and Databases

    Softcover Nachdruck of the original 1. Auflage 1994
    Verlag: Springer
    ISBN: 978-94-010-4352-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Risi | Leibniz and the Structure of Sciences | Buch | Sack Fachmedien

    De Risi Leibniz and the Structure of Sciences

    Modern Perspectives on the History of Logic, Mathematics, Epistemology
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-25571-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tanaka / Saito | Introduction to Potential Theory | Buch | Sack Fachmedien

    Tanaka / Saito Introduction to Potential Theory

    Maximal Operators and Weights
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-3-11-072596-4
    Medium: Buch
    102,95 € (inkl. MwSt.)
    RRP
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trillas | On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic | Buch | Sack Fachmedien

    Trillas On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-85815-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buchsbaum / Koslow | The Road to Universal Logic | Buch | Sack Fachmedien

    Buchsbaum / Koslow The Road to Universal Logic

    Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15367-4
    Medium: Buch
    53,49 € (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
    Šimkus / Varzinczak | Reasoning Web. Declarative Artificial Intelligence | Buch | Sack Fachmedien

    Šimkus / Varzinczak Reasoning Web. Declarative Artificial Intelligence

    17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-95480-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinman | ¿-Bibliography of Mathematical Logic | Buch | Sack Fachmedien

    Hinman ¿-Bibliography of Mathematical Logic

    Recursion Theory
    Softcover Nachdruck of the original 1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-662-09063-3
    Medium: Buch
    53,49 € (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
    Poernomo / Wirsing / Crossley | Adapting Proofs-as-Programs | Buch | Sack Fachmedien

    Poernomo / Wirsing / Crossley Adapting Proofs-as-Programs

    The Curry--Howard Protocol
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-1-4419-2014-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Givant | Duality Theories for Boolean Algebras with Operators | Buch | Sack Fachmedien

    Givant Duality Theories for Boolean Algebras with Operators

    2014
    Verlag: Springer
    ISBN: 978-3-319-06742-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schacht | Mathematische Begriffsbildung zwischen Implizitem und Explizitem | Buch | Sack Fachmedien

    Schacht Mathematische Begriffsbildung zwischen Implizitem und Explizitem

    Individuelle Begriffsbildungsprozesse zum Muster- und Variablenbegriff
    2012
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-8348-1967-3
    Medium: Buch
    82,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brattka / Spreen / Diener | Logic, Computation, Hierarchies | Buch | Sack Fachmedien

    Brattka / Spreen / Diener Logic, Computation, Hierarchies

    1. Auflage 2014
    Verlag: De Gruyter
    ISBN: 978-1-61451-783-2
    Medium: Buch
    169,95 € (inkl. MwSt.)
    List Price
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrolo / Venturi | Paradoxes Between Truth and Proof | Buch | Sack Fachmedien

    Petrolo / Venturi Paradoxes Between Truth and Proof

    2024
    Verlag: Springer
    ISBN: 978-3-031-74526-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Edwards | Essays in Constructive Mathematics | Buch | Sack Fachmedien

    Edwards Essays in Constructive Mathematics

    2. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-98557-8
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Siefkes / Müller | Decidable Theories | Buch | Sack Fachmedien

    Siefkes / Müller Decidable Theories

    Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
    1. Auflage 1970
    Verlag: Springer
    ISBN: 978-3-540-04909-8
    Medium: Buch
    26,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abrusci / Tortora de Falco | Logica | Buch | Sack Fachmedien

    Abrusci / Tortora de Falco Logica

    Volume 2 - Incompletezza, teoria assiomatica degli insiemi
    1a Auflage 2018
    Verlag: Springer
    ISBN: 978-88-470-3967-4
    Medium: Buch
    30,86 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andrews | An Introduction to Mathematical Logic and Type Theory | Buch | Sack Fachmedien

    Andrews An Introduction to Mathematical Logic and Type Theory

    To Truth Through Proof
    2. Auflage 2002. Softcover Nachdruck of the original 2. Auflage 2002
    Verlag: Springer Netherlands
    ISBN: 978-90-481-6079-2
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Downey / Melnikov | Computable Structure Theory | Buch | Sack Fachmedien

    Downey / Melnikov Computable Structure Theory

    A Unified Approach
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92432-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Newborn | Automated Theorem Proving | Buch | Sack Fachmedien

    Newborn Automated Theorem Proving

    Theory and Practice
    2001. Auflage 2000
    Verlag: Springer
    ISBN: 978-0-387-95075-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sztandera / Matsakis | Applying Soft Computing in Defining Spatial Relations | Buch | Sack Fachmedien

    Sztandera / Matsakis Applying Soft Computing in Defining Spatial Relations

    2002
    Verlag: Physica-Verlag HD
    ISBN: 978-3-7908-1504-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Béziau / Pascu / Desclés | Logic in Question | Buch | Sack Fachmedien

    Béziau / Pascu / Desclés Logic in Question

    Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-94454-4
    Medium: Buch
    192,59 € (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
    ISBN: 978-3-030-18848-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marek / Truszczynski | Nonmonotonic Logic | Buch | Sack Fachmedien

    Marek / Truszczynski Nonmonotonic Logic

    Context-Dependent Reasoning
    Softcover Nachdruck of the original 1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-662-02908-4
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gibson / O'Mahony | Ludwig Wittgenstein: Dictating Philosophy | Buch | Sack Fachmedien

    Gibson / O'Mahony Ludwig Wittgenstein: Dictating Philosophy

    To Francis Skinner - The Wittgenstein-Skinner Manuscripts
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-36086-3
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Oosten / Moerdijk | Sets, Models and Proofs | Buch | Sack Fachmedien

    van Oosten / Moerdijk Sets, Models and Proofs

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92413-7
    Medium: Buch
    35,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hachenberger | Finite Fields | Buch | Sack Fachmedien

    Hachenberger Finite Fields

    Normal Bases and Completely Free Elements
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-7877-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Hasenjaeger / Rödding | Logic and Machines: Decision Problems and Complexity | Buch | Sack Fachmedien

    Börger / Hasenjaeger / Rödding Logic and Machines: Decision Problems and Complexity

    Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
    Softcover Nachdruck of the original 1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-13331-5
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abe / Akama / Nakamatsu | Introduction to Annotated Logics | Buch | Sack Fachmedien

    Abe / Akama / Nakamatsu Introduction to Annotated Logics

    Foundations for Paracomplete and Paraconsistent Reasoning
    2015
    Verlag: Springer
    ISBN: 978-3-319-17911-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonzon / Cavalcanti / Nossum | Formal Aspects of Context | Buch | Sack Fachmedien

    Bonzon / Cavalcanti / Nossum Formal Aspects of Context

    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer
    ISBN: 978-90-481-5472-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Routley / Eckert | Exploring Meinong's Jungle and Beyond | Buch | Sack Fachmedien

    Routley / Eckert Exploring Meinong's Jungle and Beyond

    The Sylvan Jungle - Volume 1
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-78791-6
    Medium: Buch
    160,49 € (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
    ISBN: 978-3-319-91973-7
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leszczynska-Jasion / Leszczynska-Jasion | The Method of Socratic Proofs | Buch | Sack Fachmedien

    Leszczynska-Jasion / Leszczynska-Jasion The Method of Socratic Proofs

    From the Logic of Questions to Proof Theory
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82450-0
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait-Ameur / Méry / Nakajima | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems | Buch | Sack Fachmedien

    Ait-Ameur / Méry / Nakajima Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

    Communications of NII Shonan Meetings
    1. Auflage 2021
    Verlag: Springer Nature Singapore
    ISBN: 978-981-15-5056-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cooper | Computability and Models | Buch | Sack Fachmedien

    Cooper Computability and Models

    Perspectives East and West
    2003
    Verlag: Springer US
    ISBN: 978-1-4613-5225-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carson / Huber | Intuition and the Axiomatic Method | Buch | Sack Fachmedien

    Carson / Huber Intuition and the Axiomatic Method

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-90-481-7019-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gauthier | Internal Logic | Buch | Sack Fachmedien

    Gauthier Internal Logic

    Foundations of Mathematics from Kronecker to Hilbert
    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer
    ISBN: 978-90-481-6052-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buscema / Massini / Breda | Artificial Adaptive Systems Using Auto Contractive Maps | Buch | Sack Fachmedien

    Buscema / Massini / Breda Artificial Adaptive Systems Using Auto Contractive Maps

    Theory, Applications and Extensions
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-75048-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garola / Rossi | The Foundations of Quantum Mechanics | Buch | Sack Fachmedien

    Garola / Rossi The Foundations of Quantum Mechanics

    Historical Analysis and Open Questions
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-94-010-4017-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hirschfeldt / Downey | Aspects of Complexity | Buch | Sack Fachmedien

    Hirschfeldt / Downey Aspects of Complexity

    Minicourses in Algorithmics, Complexity and Computational Algebra. Mathematics Workshop, Kaikoura, January 7-15, 2000
    Nachdruck 2010
    Verlag: De Gruyter
    ISBN: 978-3-11-016810-5
    Medium: Buch
    109,95 € (inkl. MwSt.)
    RRP
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marek / Truszczynski | Nonmonotonic Logic | Buch | Sack Fachmedien

    Marek / Truszczynski Nonmonotonic Logic

    Context-Dependent Reasoning
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56448-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harris | Fuzzy Logic Applications in Engineering Science | Buch | Sack Fachmedien

    Harris Fuzzy Logic Applications in Engineering Science

    2. Auflage 2006
    Verlag: Springer
    ISBN: 978-90-481-7034-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bochenski | A Precis of Mathematical Logic | Buch | Sack Fachmedien

    Bochenski A Precis of Mathematical Logic

    1. Auflage 1960
    Verlag: Springer
    ISBN: 978-90-277-0073-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Azema / Balbo | Application and Theory of Petri Nets 1997 | Buch | Sack Fachmedien

    Azema / Balbo Application and Theory of Petri Nets 1997

    18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63139-2
    Medium: Buch
    53,49 € (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
    Bede | Mathematics of Fuzzy Sets and Fuzzy Logic | Buch | Sack Fachmedien

    Bede Mathematics of Fuzzy Sets and Fuzzy Logic

    2013
    Verlag: Springer
    ISBN: 978-3-642-35220-1
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fazio / Paoli / Ledda | Algebraic Perspectives on Substructural Logics | Buch | Sack Fachmedien

    Fazio / Paoli / Ledda Algebraic Perspectives on Substructural Logics

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-52162-2
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lev | Finite Mathematics as the Foundation of Classical Mathematics and Quantum Theory | Buch | Sack Fachmedien

    Lev Finite Mathematics as the Foundation of Classical Mathematics and Quantum Theory

    With Applications to Gravity and Particle Theory
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-61100-2
    Medium: Buch
    106,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
    Klement / Pap / Mesiar | Triangular Norms | Buch | Sack Fachmedien

    Klement / Pap / Mesiar Triangular Norms

    2000
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6416-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kam / Villa / Brayton | Synthesis of Finite State Machines | Buch | Sack Fachmedien

    Kam / Villa / Brayton Synthesis of Finite State Machines

    Functional Optimization
    1. Auflage Softcover of orig. Auflage 1997
    Verlag: Springer
    ISBN: 978-1-4419-5170-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Champarnaud / Maurel / Ziadi | Automata Implementation | Buch | Sack Fachmedien

    Champarnaud / Maurel / Ziadi Automata Implementation

    Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66652-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caviness | EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings | Buch | Sack Fachmedien

    Caviness EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

    Volume 2: Research Contributions
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15984-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beziau / Vandoulakis | The Exoteric Square of Opposition | Buch | Sack Fachmedien

    Beziau / Vandoulakis The Exoteric Square of Opposition

    The Sixth World Congress on the Square of Opposition
    1. Auflage 2022
    Verlag: Birkhäuser
    ISBN: 978-3-030-90822-5
    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
    Centrone / Negri / Sarikaya | Mathesis Universalis, Computability and Proof | Buch | Sack Fachmedien

    Centrone / Negri / Sarikaya Mathesis Universalis, Computability and Proof

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-20449-5
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Givant / Halmos | Introduction to Boolean Algebras | Buch | Sack Fachmedien

    Givant / Halmos Introduction to Boolean Algebras

    2009. Auflage 2008
    Verlag: Springer
    ISBN: 978-0-387-40293-2
    Medium: Buch
    45,96 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amos | Theoretical and Experimental DNA Computation | Buch | Sack Fachmedien

    Amos Theoretical and Experimental DNA Computation

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-65773-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    La Mantia / Alunni / Zalamea | Diagrams and Gestures | Buch | Sack Fachmedien

    La Mantia / Alunni / Zalamea Diagrams and Gestures

    Mathematics, Philosophy, and Linguistics
    2023
    Verlag: Springer
    ISBN: 978-3-031-29113-5
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Czelakowski | Protoalgebraic Logics | Buch | Sack Fachmedien

    Czelakowski Protoalgebraic Logics

    2001
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6940-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner | Simple Theories | Buch | Sack Fachmedien

    Wagner Simple Theories

    2000
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6221-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tschirk | Vom Universum des Denkens | Buch | Sack Fachmedien

    Tschirk Vom Universum des Denkens

    Eine Geistesgeschichte der Logik
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-662-65312-8
    Medium: Buch
    24,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
    Hansen | Founding Mathematics on Semantic Conventions | Buch | Sack Fachmedien

    Hansen Founding Mathematics on Semantic Conventions

    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-88536-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kruse / Siegel | Symbolic and Quantitative Approaches to Uncertainty | Buch | Sack Fachmedien

    Kruse / Siegel Symbolic and Quantitative Approaches to Uncertainty

    European Conference ECSQAU, Marseille, France, October 15-17, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54659-7
    Medium: Buch
    53,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
    Rosental / Brumberg-Chaumont | Logical Skills | Buch | Sack Fachmedien

    Rosental / Brumberg-Chaumont Logical Skills

    Social-Historical Perspectives
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-58445-0
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wole¿ski / Wolenski | Semantics and Truth | Buch | Sack Fachmedien

    Wole¿ski / Wolenski Semantics and Truth

    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-24538-2
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tanaka / Paoli / Berto | Paraconsistency: Logic and Applications | Buch | Sack Fachmedien

    Tanaka / Paoli / Berto Paraconsistency: Logic and Applications

    2013
    Verlag: Springer Netherlands
    ISBN: 978-94-007-4437-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peters / Skowron | Transactions on Rough Sets XVII | Buch | Sack Fachmedien

    Peters / Skowron Transactions on Rough Sets XVII

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54755-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacquette / Béziau | Around and Beyond the Square of Opposition | Buch | Sack Fachmedien

    Jacquette / Béziau Around and Beyond the Square of Opposition

    2012
    Verlag: Springer
    ISBN: 978-3-0348-0378-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Link | One Hundred Years of Russell´s Paradox | Buch | Sack Fachmedien

    Link One Hundred Years of Russell´s Paradox

    Mathematics, Logic, Philosophy
    1. Auflage 2004
    Verlag: De Gruyter
    ISBN: 978-3-11-017438-0
    Medium: Buch
    229,00 € (inkl. MwSt.)
    RRP
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Sui | R-Calculus, V: Description Logics | Buch | Sack Fachmedien

    Li / Sui R-Calculus, V: Description Logics

    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-6459-8
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boccara / Picco / Goles | Cellular Automata and Cooperative Systems | Buch | Sack Fachmedien

    Boccara / Picco / Goles Cellular Automata and Cooperative Systems

    1993
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-2272-6
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abe | Neural Networks and Fuzzy Systems | Buch | Sack Fachmedien

    Abe Neural Networks and Fuzzy Systems

    Theory and Applications
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7869-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dreiseitl | Mathematik für Software Engineering | Buch | Sack Fachmedien

    Dreiseitl Mathematik für Software Engineering

    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-56732-6
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettorossi | Automata Theory and Formal Languages | Buch | Sack Fachmedien

    Pettorossi Automata Theory and Formal Languages

    Fundamental Notions, Theorems, and Techniques
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-11964-4
    Medium: Buch
    58,84 € (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
    103,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hendricks / Pedersen / Jørgensen | Proof Theory | Buch | Sack Fachmedien

    Hendricks / Pedersen / Jørgensen Proof Theory

    History and Philosophical Significance
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-0-7923-6544-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    da Costa / Doria | On Hilbert's Sixth Problem | Buch | Sack Fachmedien

    da Costa / Doria On Hilbert's Sixth Problem

    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-83839-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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