Decidable Theories 1
bokomslag Decidable Theories
Vetenskap & teknik

Decidable Theories

J R Büchi • D Siefkes • J R Büchi • G H Müller • D Siefkes

Pocket

579:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 224 sidor
  • 1973
  • Författare: J R Büchi, D Siefkes, J R Büchi, G H Müller, D Siefkes
  • Format: Pocket/Paperback
  • ISBN: 9783540063452
  • Språk: Engelska
  • Antal sidor: 224
  • Utgivningsdatum: 1973-07-05
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag Chemical Lasers

    Chemical Lasers

    Pocket

    719:-
  2. bokomslag Logic Symposia, Hakone, 1979, 1980

    Logic Symposia, Hakone, 1979, 1980

    G H Müller, G Takeuti, T Tugue, G H Müller

    Pocket

    579:-
  3. bokomslag Documents of the Baronial Movement of Reform and Rebellion, 1258-1267

    Documents of the Baronial Movement of...

    R F Treharne, I J Sanders, R F Treharne, I J Sanders

    Inbunden

    3539:-
  4. bokomslag Dermatologische Röntgentherapie

    Dermatologische Röntgentherapie

    Stefan Lukacs Otto Braun-Falco

    Pocket

    759:-
  5. bokomslag Decidable Theories

    Decidable Theories

    Gert H Müller Dirk Siefkes

    Pocket

    359:-
  6. bokomslag Finite Automata, Their Algebras and Grammars

    Finite Automata, Their Algebras and G...

    Dirk Siefkes J Richard Büchi

    Pocket

    1419:-
  7. bokomslag Beginning of Heaven and Earth Has No Name

    Beginning of Heaven and Earth Has No ...

    Heinz Von Foerster, Heinz Von Foerster, Albert Müller, Karl H Müller, Albert Muller

    Klotband

    1419:-
  8. bokomslag Fins, Feathers, and Fuzz

    Fins, Feathers, and Fuzz

    Sandra F Siefke Sandra F Siefke

    Pocket

    259:-
  9. bokomslag Symbolic Dynamics

    Symbolic Dynamics

    Bruce P Kitchens

    Pocket

    1219:-
  10. bokomslag Higher Gradient Materials and Related Generalized Continua

    Higher Gradient Materials and Related...

    Holm Altenbach, Wolfgang H Müller, Bilen Emek Abali, Wolfgang H Muller

    Pocket

    1419:-

Andra av samma författare

  1. bokomslag ISILC - Proof Theory Symposion

    ISILC - Proof Theory Symposion

    J Diller, G H Müller, G H Müller, G H Mller

    Pocket

    509:-
  2. bokomslag ISILC - Logic Conference

    ISILC - Logic Conference

    G H Müller, A Oberschelp, K Potthoff, G H Mller

    Pocket

    719:-
  3. bokomslag Higher Set Theory

    Higher Set Theory

    G H Müller, D S Scott, G H Müller, D S Scott

    Pocket

    719:-
  4. bokomslag Logic Symposia, Hakone, 1979, 1980

    Logic Symposia, Hakone, 1979, 1980

    G H Müller, G Takeuti, T Tugue, G H Müller

    Pocket

    579:-
  5. bokomslag Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

    Proceedings of the Logic Colloquium. ...

    M M Richter G H Müller

    Pocket

    649:-
  6. bokomslag Study of Time

    Study of Time

    J T Fraser, F C Haber, G H Müller

    Pocket

    1419:-