Fachgebiet
Medium
  • 12
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
Autoren
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
Verlag
  • 2
  • 6
  • 1
  • 3
Preis
  • 5
  • 7
Sprachen
  • 12
Verfügbarkeit
  • 12
Katalog
  • 12

Mathematik Allgemein

12  Treffer  für „Progress in Computer Science and Applied Logic“


    Li Mathematical Logic

    Foundations for Information Science
    2. Auflage 2014
    Verlag: Springer
    ISBN: 978-3-0348-0861-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kahle / Studer / Strahm Advances in Proof Theory

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-80513-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Feng / Xing / Niederreiter Coding, Cryptography and Combinatorics

    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Birkhäuser Basel
    ISBN: 978-3-0348-9602-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Martin / Levine Bounded Queries in Recursion Theory

    1999
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6848-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nerode / Khoussainov Automata Theory and its Applications

    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6645-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nerode / Khoussainov Automata Theory and its Applications

    2001
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-4207-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Crossley / Sweedler / Remmel Logical Methods

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

    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

    Spivak / Schultz Temporal Type Theory

    A Topos-Theoretic Approach to Systems and Behavior
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00703-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bronstein / Weispfenning / Grabmeier Symbolic Rewriting Techniques

    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Birkhäuser Basel
    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

    Softcover Nachdruck of the original 1. Auflage 1991
    Verlag: Birkhäuser Boston
    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