Ergebnisse filtern
Fachgebiet
Medium
  • 13
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
Autoren
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
Verlag
  • 12
  • 1
Preis
  • 6
  • 7
Sprachen
  • 13
Verfügbarkeit
  • 13
Katalog
  • 13

Mathematik Allgemein

13  Treffer  für „Progress in Computer Science and Applied Logic“
    Li | Mathematical Logic | Buch | Sack Fachmedien

    Li Mathematical Logic

    Foundations for Information Science
    2. Auflage 2014
    Verlag: Birkhäuser
    ISBN: 978-3-0348-0861-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li | Mathematical Logic | Buch | Sack Fachmedien

    Li Mathematical Logic

    Foundations for Information Science
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-7643-9976-4
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feng / Niederreiter / Xing | Coding, Cryptography and Combinatorics | Buch | Sack Fachmedien

    Feng / Niederreiter / Xing Coding, Cryptography and Combinatorics

    Erscheinungsjahr 2012
    Verlag: Birkhäuser
    ISBN: 978-3-0348-9602-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahle / Strahm / Studer | Advances in Proof Theory | Buch | Sack Fachmedien

    Kahle / Strahm / Studer Advances in Proof Theory

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Birkhäuser
    ISBN: 978-3-319-80513-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahle / Strahm / Studer | Advances in Proof Theory | Buch | Sack Fachmedien

    Kahle / Strahm / Studer Advances in Proof Theory

    1. Auflage 2016
    Verlag: Birkhäuser
    ISBN: 978-3-319-29196-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Khoussainov / Nerode | Automata Theory and its Applications | Buch | Sack Fachmedien

    Khoussainov / Nerode Automata Theory and its Applications

    1. Auflage 2001
    Verlag: Birkhäuser
    ISBN: 978-0-8176-4207-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Khoussainov / Nerode | Automata Theory and its Applications | Buch | Sack Fachmedien

    Khoussainov / Nerode Automata Theory and its Applications

    Erscheinungsjahr 2012
    Verlag: Birkhäuser
    ISBN: 978-1-4612-6645-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Levine / Martin | Bounded Queries in Recursion Theory | Buch | Sack Fachmedien

    Levine / Martin Bounded Queries in Recursion Theory

    Erscheinungsjahr 2013
    Verlag: Birkhäuser
    ISBN: 978-1-4612-6848-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crossley / Remmel / Shore | Logical Methods | Buch | Sack Fachmedien

    Crossley / Remmel / Shore Logical Methods

    In Honor of Anil Nerode's Sixtieth Birthday
    1993
    Verlag: Birkhäuser
    ISBN: 978-1-4612-6708-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crossley / Remmel / Shore | Logical Methods | Buch | Sack Fachmedien

    Crossley / Remmel / Shore Logical Methods

    In Honor of Anil Nerode's Sixtieth Birthday
    1. Auflage 1994
    Verlag: Birkhäuser
    ISBN: 978-0-8176-3690-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schultz / Spivak | Temporal Type Theory | Buch | Sack Fachmedien

    Schultz / Spivak Temporal Type Theory

    A Topos-Theoretic Approach to Systems and Behavior
    1. Auflage 2019
    Verlag: Birkhäuser
    ISBN: 978-3-030-00703-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bronstein / Grabmeier / Weispfenning | Symbolic Rewriting Techniques | Buch | Sack Fachmedien

    Bronstein / Grabmeier / Weispfenning Symbolic Rewriting Techniques

    Erscheinungsjahr 2012
    Verlag: Birkhäuser
    ISBN: 978-3-0348-9779-2
    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

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