Ergebnisse filtern
Fachgebiet
Medium
  • 1457
  • 97
  • 7
Erscheinungsjahr
  • 33
  • 16
  • 12
  • 23
  • 31
  • 25
  • 39
  • 52
  • 36
  • 30
  • 24
  • 30
  • 57
  • 126
  • 31
  • 173
  • 15
  • 42
  • 27
  • 29
  • 32
  • 26
  • 29
  • 45
  • 55
  • 47
  • 48
  • 45
  • 37
  • 41
  • 32
  • 30
  • 40
  • 26
  • 18
  • 13
  • 13
  • 5
  • 13
  • 9
  • 3
  • 7
  • 11
  • 2
  • 8
  • 4
  • 3
  • 1
  • 5
  • 2
  • 3
  • 5
  • 6
  • 2
  • 4
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
Autoren
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 7
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 7
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 3
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 7
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 7
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 6
  • 9
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 20
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 6
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 5
  • 2
  • 5
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
Verlag
  • 20
  • 1
  • 20
  • 2
  • 6
  • 23
  • 1
  • 1
  • 99
  • 6
  • 8
  • 23
  • 76
  • 1
  • 1
  • 3
  • 12
  • 1
  • 1
  • 2
  • 1
  • 2
  • 5
  • 1
  • 2
  • 1
  • 1
  • 14
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 15
  • 1
  • 10
  • 13
  • 1
  • 1
  • 1
  • 2
  • 13
  • 2
  • 1
  • 9
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 403
  • 159
  • 2
  • 39
  • 3
  • 1
  • 10
  • 19
  • 265
  • 21
  • 103
  • 2
  • 4
  • 2
  • 1
  • 1
  • 23
  • 13
  • 6
  • 1
  • 3
  • 1
  • 3
  • 1
  • 14
  • 1
  • 1
  • 13
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
Preis
  • 68
  • 168
  • 475
  • 850
Sprachen
  • 1369
  • 179
  • 12
  • 6
  • 3
Verfügbarkeit
  • 1546
  • 15
Eigenschaften
  • 2
Katalog
  • 1561
  • 124
1.561  Titel
    Carnielli / Coniglio / Gabbay | Analysis and Synthesis of Logics | Buch | Sack Fachmedien

    Carnielli / Coniglio / Gabbay Analysis and Synthesis of Logics

    How to Cut and Paste Reasoning Systems
    2008. Auflage 2008
    Verlag: Springer
    ISBN: 978-1-4020-6781-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cooper / Goncharov | Computability and Models | Buch | Sack Fachmedien

    Cooper / Goncharov Computability and Models

    Perspectives East and West
    2003. Auflage 2003
    Verlag: Springer Us
    ISBN: 978-0-306-47400-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yanushkevich | Artificial Intelligence in Logic Design | Buch | Sack Fachmedien

    Yanushkevich Artificial Intelligence in Logic Design

    <em>Nachdrucked from ARTIFICIAL INTELLIGENCE REVIEW, 20:3-4 </em> 2004
    Verlag: Springer
    ISBN: 978-1-4020-2052-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pedrycz | Fuzzy Modelling | Buch | Sack Fachmedien

    Pedrycz Fuzzy Modelling

    Paradigms and Practice
    1996. Auflage 1996
    Verlag: Springer Us
    ISBN: 978-0-7923-9703-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Demaine / Rodgers | A Lifetime of Puzzles | eBook | Sack Fachmedien
    E-Book

    Demaine / Rodgers A Lifetime of Puzzles

    1. Auflage 2011
    Verlag: Taylor & Francis
    ISBN: 978-1-4398-6571-2
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    81,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sidi | Practical Extrapolation Methods | Buch | Sack Fachmedien

    Sidi Practical Extrapolation Methods

    Theory and Applications
    Erscheinungsjahr 2003
    Verlag: Cambridge University Press
    ISBN: 978-0-521-66159-1
    Medium: Buch
    176,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andreescu / Andrica / Feng | 104 Number Theory Problems | Buch | Sack Fachmedien

    Andreescu / Andrica / Feng 104 Number Theory Problems

    From the Training of the USA Imo Team
    2007. Auflage 2006
    Verlag: Birkhauser Boston
    ISBN: 978-0-8176-4527-4
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tichy | The Foundations of Frege's Logic | Buch | Sack Fachmedien

    Tichy The Foundations of Frege's Logic

    Nachdruck 2012
    Verlag: De Gruyter
    ISBN: 978-3-11-011668-7
    Medium: Buch
    139,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lipton | The P=np Question and Gödel's Lost Letter | Buch | Sack Fachmedien

    Lipton The P=np Question and Gödel's Lost Letter

    2010. Auflage 2010
    Verlag: Springer Us
    ISBN: 978-1-4419-7154-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maller / Basawa / Hall | Selected Works of C.C. Heyde | Buch | Sack Fachmedien

    Maller / Basawa / Hall Selected Works of C.C. Heyde

    2010. Auflage 2010
    Verlag: Springer
    ISBN: 978-1-4419-5822-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mackie / Goubault-Larrecq | Proof Theory and Automated Deduction | Buch | Sack Fachmedien

    Mackie / Goubault-Larrecq Proof Theory and Automated Deduction

    Softcover Nachdruck of the original 1. Auflage 1997
    Verlag: Springer Netherlands
    ISBN: 978-1-4020-0368-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marques-Silva / Sakallah | Theory and Applications of Satisfiability Testing - SAT 2007 | Buch | Sack Fachmedien

    Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007

    10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72787-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Danielson | How Did You Count? | Buch | Sack Fachmedien

    Danielson How Did You Count?

    Teacher's Guide
    1. Auflage 2025
    Verlag: Taylor & Francis Ltd
    ISBN: 978-1-032-89837-7
    Medium: Buch
    20,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Auletta | Mechanical Logic in Three-Dimensional Space | eBook | Sack Fachmedien
    E-Book

    Auletta Mechanical Logic in Three-Dimensional Space

    Erscheinungsjahr 2013
    Verlag: Pan Stanford Publishing
    ISBN: 978-981-4411-51-6
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    151,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Weingartner / Mittelstaedt | Laws of Nature | Buch | Sack Fachmedien

    Weingartner / Mittelstaedt Laws of Nature

    1. Auflage. 2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24079-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bell / Machover | A Course in Mathematical Logic | Buch | Sack Fachmedien

    Bell / Machover A Course in Mathematical Logic

    Erscheinungsjahr 1977
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-7204-2844-5
    Medium: Buch
    61,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Automated Mathematical Induction | Buch | Sack Fachmedien

    Automated Mathematical Induction

    <em>Nachdrucked from JOURNAL OF AUTOMATED REASONING 16:1-2, 1996</em> 1996
    Verlag: Springer
    ISBN: 978-0-7923-4010-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prehofer | Solving Higher-Order Equations | Buch | Sack Fachmedien

    Prehofer Solving Higher-Order Equations

    From Logic to Programming
    Erscheinungsjahr 2012
    Verlag: Birkhäuser
    ISBN: 978-1-4612-7278-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drüll | Heidelberger Gelehrtenlexikon 1933-1986 | Buch | Sack Fachmedien

    Drüll Heidelberger Gelehrtenlexikon 1933-1986

    2009
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-88834-5
    Medium: Buch
    139,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Primas / Atmanspacher | Recasting Reality | Buch | Sack Fachmedien

    Primas / Atmanspacher Recasting Reality

    Wolfgang Pauli's Philosophical Ideas and Contemporary Science
    2009
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85197-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Shore | Logic for Applications | Buch | Sack Fachmedien

    Nerode / Shore Logic for Applications

    2. Auflage 1997
    Verlag: Springer
    ISBN: 978-0-387-94893-5
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosendal | Coarse Geometry of Topological Groups | eBook | Sack Fachmedien
    E-Book

    Rosendal Coarse Geometry of Topological Groups

    Erscheinungsjahr 2021
    Verlag: Cambridge University Press
    ISBN: 978-1-108-90618-0
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    89,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Charpentier / LESNE / Nikolski | Kolmogorov's Heritage in Mathematics | Buch | Sack Fachmedien

    Charpentier / LESNE / Nikolski Kolmogorov's Heritage in Mathematics

    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-36349-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cunningham | Set Theory | eBook | Sack Fachmedien
    E-Book

    Cunningham Set Theory

    A First Course
    Erscheinungsjahr 2016
    Verlag: Cambridge University Press
    ISBN: 978-1-316-68240-1
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    49,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Danielson | How Did You Count? | Buch | Sack Fachmedien

    Danielson How Did You Count?

    5-Pack of Softcover Picture Book
    1. Auflage 2025
    Verlag: Taylor & Francis Ltd
    ISBN: 978-1-032-90230-2
    Medium: Buch
    44,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cupillari | The Nuts and Bolts of Proofs | Buch | Sack Fachmedien

    Cupillari The Nuts and Bolts of Proofs

    An Introduction to Mathematical Proofs
    5. Auflage 2023
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-323-99020-2
    Medium: Buch
    57,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weingartner / Mittelstaedt | Laws of Nature | Buch | Sack Fachmedien

    Weingartner / Mittelstaedt Laws of Nature

    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-06322-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weber | Basiswissen Mathematik auf Arabisch und Deutsch | Buch | Sack Fachmedien

    Weber Basiswissen Mathematik auf Arabisch und Deutsch

    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-58070-7
    Medium: Buch
    22,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Primas / Atmanspacher | Recasting Reality | Buch | Sack Fachmedien

    Primas / Atmanspacher Recasting Reality

    Wolfgang Pauli's Philosophical Ideas and Contemporary Science
    Softcover Nachdruck of hardcover 1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-09894-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chatzidakis / Koepke / Pohlers | Logic Colloquium '02 | Buch | Sack Fachmedien

    Chatzidakis / Koepke / Pohlers Logic Colloquium '02

    Lecture Notes in Logic 27
    1. Auflage 2006
    Verlag: A K Peters/CRC Press
    ISBN: 978-1-56881-301-1
    Medium: Buch
    70,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Losee | Text Retrieval and Filtering | Buch | Sack Fachmedien

    Losee Text Retrieval and Filtering

    Analytic Models of Performance
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7612-5
    Medium: Buch
    213,99 € (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. Softcover version of original hardcover Auflage 1999
    Verlag: Springer
    ISBN: 978-90-481-5187-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Rijke | Advances in Intensional Logic | Buch | Sack Fachmedien

    de Rijke Advances in Intensional Logic

    1. Auflage. Softcover version of original hardcover Auflage 1997
    Verlag: Springer
    ISBN: 978-90-481-4897-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hachenberger | Finite Fields | Buch | Sack Fachmedien

    Hachenberger Finite Fields

    Normal Bases and Completely Free Elements
    1997. Auflage 1997
    Verlag: Springer Us
    ISBN: 978-0-7923-9851-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weinstein | An Introduction to Lorentz Surfaces | Buch | Sack Fachmedien

    Weinstein An Introduction to Lorentz Surfaces

    Nachdruck 2011
    Verlag: De Gruyter
    ISBN: 978-3-11-014333-1
    Medium: Buch
    139,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boi | Pensare l'impossibile | Buch | Sack Fachmedien

    Boi Pensare l'impossibile

    Dialogo infinito tra arte e scienza
    2012
    Verlag: Springer Milan
    ISBN: 978-88-470-1672-9
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Skvortsov / Shehtman | Quantification in Nonclassical Logic | eBook | Sack Fachmedien
    E-Book

    Gabbay / Skvortsov / Shehtman Quantification in Nonclassical Logic

    1. Auflage 2009
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-08-093112-8
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    175,00 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lightman | Song of Two Worlds | eBook | Sack Fachmedien
    E-Book

    Lightman Song of Two Worlds

    1. Auflage 2011
    Verlag: Taylor & Francis
    ISBN: 978-1-4398-6547-7
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    98,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kaufmann / McGuinness | The Infinite in Mathematics | Buch | Sack Fachmedien

    Kaufmann / McGuinness The Infinite in Mathematics

    Logico-mathematical writings
    1978
    Verlag: Springer Netherlands
    ISBN: 978-90-277-0847-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Neunhäuserer | Schöne Sätze der Mathematik | Buch | Sack Fachmedien

    Neunhäuserer Schöne Sätze der Mathematik

    Ein Überblick mit kurzen Beweisen
    3. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-662-65829-1
    Medium: Buch
    34,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taschner | Numbers at Work | eBook | Sack Fachmedien
    E-Book

    Taschner Numbers at Work

    A Cultural Perspective
    Erscheinungsjahr 2007
    Verlag: Taylor & Francis
    ISBN: 978-1-4398-6581-1
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    69,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gerstein | Introduction to Mathematical Structures and Proofs | Buch | Sack Fachmedien

    Gerstein Introduction to Mathematical Structures and Proofs

    2. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4614-4264-6
    Medium: Buch
    48,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grieser | Exploring Mathematics | Buch | Sack Fachmedien

    Grieser Exploring Mathematics

    Problem-Solving and Proof
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-90319-4
    Medium: Buch
    40,65 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badiou | Number and Numbers | Buch | Sack Fachmedien

    Badiou Number and Numbers

    1. Auflage 2008
    Verlag: Polity Press
    ISBN: 978-0-7456-3879-9
    Medium: Buch
    23,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wimmel / Priese | Petri-Netze | Buch | Sack Fachmedien

    Wimmel / Priese Petri-Netze

    2. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-76970-5
    Medium: Buch
    32,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goldstern / Judah | The Incompleteness Phenomenon | Buch | Sack Fachmedien

    Goldstern / Judah The Incompleteness Phenomenon

    New Course in Mathematical Logic
    1. Auflage 1998
    Verlag: Taylor & Francis Inc
    ISBN: 978-1-56881-093-5
    Medium: Buch
    60,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goodman / Mahler | Mathematics of Data Fusion | Buch | Sack Fachmedien

    Goodman / Mahler Mathematics of Data Fusion

    1997
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-4674-6
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gopalsamy | Stability and Oscillations in Delay Differential Equations of Population Dynamics | Buch | Sack Fachmedien

    Gopalsamy Stability and Oscillations in Delay Differential Equations of Population Dynamics

    1992
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-1594-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McEliece | The Theory of Information and Coding | Buch | Sack Fachmedien

    McEliece The Theory of Information and Coding

    2. Auflage 2002
    Verlag: Cambridge University Press
    ISBN: 978-0-521-00095-6
    Medium: Buch
    206,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciesielski | Set Theory for the Working Mathematician | Buch | Sack Fachmedien

    Ciesielski Set Theory for the Working Mathematician

    Erscheinungsjahr 1997
    Verlag: Cambridge University Press
    ISBN: 978-0-521-59465-3
    Medium: Buch
    64,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Makowsky / Baaz | Computer Science Logic | Buch | Sack Fachmedien

    Makowsky / Baaz Computer Science Logic

    17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40801-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prisco / Mathias / Larson | Set Theory | Buch | Sack Fachmedien

    Prisco / Mathias / Larson Set Theory

    Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences
    1998
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-4905-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    White | Theory of Matroids | Buch | Sack Fachmedien

    White Theory of Matroids

    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-09202-9
    Medium: Buch
    86,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Redecker | Wittgensteins Philosophie der Mathematik | eBook | Sack Fachmedien
    E-Book

    Redecker Wittgensteins Philosophie der Mathematik

    Eine Neubewertung im Ausgang von der Kritik an Cantors Beweis der Überabzählbarkeit der reellen Zahlen
    1. Auflage 2013
    Verlag: De Gruyter
    ISBN: 978-3-11-032420-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    129,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Newton / Budenz | The Principia: The Authoritative Translation and Guide | Buch | Sack Fachmedien

    Newton / Budenz The Principia: The Authoritative Translation and Guide

    Mathematical Principles of Natural Philosophy
    1. Auflage, Collector's Auflage 2016
    Verlag: University of California Press
    ISBN: 978-0-520-29087-7
    Medium: Buch
    88,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurfess / Apolloni | From Synapses to Rules | Buch | Sack Fachmedien

    Kurfess / Apolloni From Synapses to Rules

    Discovering Symbolic Rules from Neural Processed Data
    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer US
    ISBN: 978-1-4613-5204-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Elias / Klir | Architecture of Systems Problem Solving | Buch | Sack Fachmedien

    Elias / Klir Architecture of Systems Problem Solving

    2. Auflage 2003
    Verlag: Springer US
    ISBN: 978-1-4613-4846-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reid | Hilbert | Buch | Sack Fachmedien

    Reid Hilbert

    1. Auflage 1970. 2. printing 1996
    Verlag: Springer
    ISBN: 978-0-387-94674-0
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Höhle | Many Valued Topology and its Applications | Buch | Sack Fachmedien

    Höhle Many Valued Topology and its Applications

    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer US
    ISBN: 978-1-4613-5643-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davis | Foundations of Image Understanding | Buch | Sack Fachmedien

    Davis Foundations of Image Understanding

    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer US
    ISBN: 978-1-4613-5599-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soifer | The Mathematical Coloring Book | Buch | Sack Fachmedien

    Soifer The Mathematical Coloring Book

    Mathematics of Coloring and the Colorful Life of its Creators
    2009
    Verlag: Springer
    ISBN: 978-0-387-74640-1
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Treur / Meyer | Dynamics and Management of Reasoning Processes | Buch | Sack Fachmedien

    Treur / Meyer Dynamics and Management of Reasoning Processes

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer Netherlands
    ISBN: 978-90-481-5903-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kant | Das mengentheoretische Unabhängigkeitsphänomen | Buch | Sack Fachmedien

    Kant Das mengentheoretische Unabhängigkeitsphänomen

    Eine Welt jenseits der mathematischen Beweiskraft
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-662-71096-8
    Medium: Buch
    14,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Pap / Hadzic | Fixed Point Theory in Probabilistic Metric Spaces | Buch | Sack Fachmedien

    Pap / Hadzic Fixed Point Theory in Probabilistic Metric Spaces

    2001
    Verlag: Springer Netherlands
    ISBN: 978-90-481-5875-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heynatz | Ausführliches Rechenbuch | eBook | Sack Fachmedien
    E-Book

    Heynatz Ausführliches Rechenbuch

    4. Auflage, Nachdruck 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-244608-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    109,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Jacobi / Brandt | Canon Arithmeticus | eBook | Sack Fachmedien
    E-Book

    Jacobi / Brandt Canon Arithmeticus

    Nachdruck 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-247136-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    124,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gnedenko / Rossberg | Lehrbüch der Wahrscheinlichkeitsrechnung | eBook | Sack Fachmedien
    E-Book

    Gnedenko / Rossberg Lehrbüch der Wahrscheinlichkeitsrechnung

    7. Auflage, Nachdruck 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-247158-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    114,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    van de Craats / Bosch | Grundwissen Mathematik | Buch | Sack Fachmedien

    van de Craats / Bosch Grundwissen Mathematik

    Ein Vorkurs für Fachhochschule und Universität
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-13500-2
    Medium: Buch
    37,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Main / Schmidt / Melton | Mathematical Foundations of Programming Language Semantics | Buch | Sack Fachmedien

    Main / Schmidt / Melton Mathematical Foundations of Programming Language Semantics

    3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19020-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baber | The Language of Mathematics | Buch | Sack Fachmedien

    Baber The Language of Mathematics

    Utilizing Math in Practice
    1. Auflage 2011
    Verlag: Wiley
    ISBN: 978-0-470-87889-7
    Medium: Buch
    119,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shostak | 7th International Conference on Automated Deduction | Buch | Sack Fachmedien

    Shostak 7th International Conference on Automated Deduction

    Proceedings
    1984
    Verlag: Springer
    ISBN: 978-0-387-96022-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grabe | Truth and Traceability in Physics and Metrology | Buch | Sack Fachmedien

    Grabe Truth and Traceability in Physics and Metrology

    Erscheinungsjahr 2018
    Verlag: IOP Concise Physics
    ISBN: 978-1-64327-097-5
    Medium: Buch
    64,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dalwigk | Vollständige Induktion | Buch | Sack Fachmedien

    Dalwigk Vollständige Induktion

    Beispiele und Aufgaben bis zum Umfallen
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-58632-7
    Medium: Buch
    37,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Brummelen | Trigonometry | Buch | Sack Fachmedien

    Van Brummelen Trigonometry

    A Very Short Introduction
    Erscheinungsjahr 2020
    Verlag: Oxford University Press
    ISBN: 978-0-19-881431-3
    Medium: Buch
    13,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maurer | Mathemecum | Buch | Sack Fachmedien

    Maurer Mathemecum

    Begriffe - Definitionen - Sätze - Beispiele
    1981
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-07251-3
    Medium: Buch
    59,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lützen | A History of Mathematical Impossibility | Buch | Sack Fachmedien

    Lützen A History of Mathematical Impossibility

    Erscheinungsjahr 2023
    Verlag: Oxford University Press
    ISBN: 978-0-19-286739-1
    Medium: Buch
    40,50 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Lukose / Zhang | Distributed Artificial Intelligence: Architecture and Modelling | Buch | Sack Fachmedien

    Lukose / Zhang Distributed Artificial Intelligence: Architecture and Modelling

    First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61314-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miglioli / Ornaghi / Moscato | Theorem Proving with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Miglioli / Ornaghi / Moscato Theorem Proving with Analytic Tableaux and Related Methods

    5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61208-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Voronkov Logic Programming and Automated Reasoning

    International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55727-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wansing | The Logic of Information Structures | Buch | Sack Fachmedien

    Wansing The Logic of Information Structures

    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56734-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Williams | Instantiation Theory | Buch | Sack Fachmedien

    Williams Instantiation Theory

    On the Foundations of Automated Deduction
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54333-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stephan / Hutter | Mechanizing Mathematical Reasoning | Buch | Sack Fachmedien

    Stephan / Hutter Mechanizing Mathematical Reasoning

    Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25051-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Walsh / Bacchus | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Walsh / Bacchus Theory and Applications of Satisfiability Testing

    8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26276-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doshita / Nishida / Furukawa | Algorithmic Learning Theory - ALT '92 | Buch | Sack Fachmedien

    Doshita / Nishida / Furukawa Algorithmic Learning Theory - ALT '92

    Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57369-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Pfenning Logic Programming and Automated Reasoning

    5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58216-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stegmüller | Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit | Buch | Sack Fachmedien

    Stegmüller Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

    1984
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-12212-8
    Medium: Buch
    19,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ong | Computer Science Logic | Buch | Sack Fachmedien

    Ong Computer Science Logic

    19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28231-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cimiano / Stein / Frank | Robust Argumentation Machines | Buch | Sack Fachmedien

    Cimiano / Stein / Frank Robust Argumentation Machines

    First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-63535-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lal | Algebra 1 | Buch | Sack Fachmedien

    Lal Algebra 1

    Groups, Rings, Fields and Arithmetic
    1. Auflage 2017
    Verlag: Springer Nature Singapore
    ISBN: 978-981-10-4252-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lal | Algebra 1 | Buch | Sack Fachmedien

    Lal Algebra 1

    Groups, Rings, Fields and Arithmetic
    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer Nature Singapore
    ISBN: 978-981-13-5088-7
    Medium: Buch
    60,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dierkes / Tromba / Hildebrandt | Global Analysis of Minimal Surfaces | Buch | Sack Fachmedien

    Dierkes / Tromba / Hildebrandt Global Analysis of Minimal Surfaces

    2. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-642-11705-3
    Medium: Buch
    139,09 € (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

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-09568-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brieskorn / Purkert / Chatterji | Felix Hausdorff - Gesammelte Werke Band II | Buch | Sack Fachmedien

    Brieskorn / Purkert / Chatterji Felix Hausdorff - Gesammelte Werke Band II

    Grundzüge der Mengenlehre
    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-63959-3
    Medium: Buch
    199,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Golan | Semirings and their Applications | Buch | Sack Fachmedien

    Golan Semirings and their Applications

    1999
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-5786-5
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Singh | Approximation Theory, Wavelets and Applications | Buch | Sack Fachmedien

    Singh Approximation Theory, Wavelets and Applications

    1995
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-3334-0
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haaparanta | Mind, Meaning and Mathematics | Buch | Sack Fachmedien

    Haaparanta Mind, Meaning and Mathematics

    Essays on the Philosophical Views of Husserl and Frege
    1994
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-2703-5
    Medium: Buch
    106,99 € (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

    2000
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6009-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dalla Chiara / Greechie / Giuntini | Reasoning in Quantum Theory | Buch | Sack Fachmedien

    Dalla Chiara / Greechie / Giuntini Reasoning in Quantum Theory

    Sharp and Unsharp Quantum Logics
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer Netherlands
    ISBN: 978-90-481-6562-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hajek | Goedel 96: Logical Foundations of Mathematics, Computer Science, and Physics | Buch | Sack Fachmedien

    Hajek Goedel 96: Logical Foundations of Mathematics, Computer Science, and Physics

    Lecture Notes in Logic 6
    1. Auflage 2001
    Verlag: Taylor & Francis Inc
    ISBN: 978-1-56881-153-6
    Medium: Buch
    57,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vilenkin | In Search of Infinity | Buch | Sack Fachmedien

    Vilenkin In Search of Infinity

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6915-1
    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