Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 1
bokomslag Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Vetenskap & teknik

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

G H Müller • M M Richter

Pocket

649:-

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

Uppskattad leveranstid 10-16 arbetsdagar

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

  • 488 sidor
  • 1984
  • Författare: G H Müller, M M Richter
  • Format: Pocket/Paperback
  • ISBN: 9783540139003
  • Språk: Engelska
  • Antal sidor: 488
  • Utgivningsdatum: 1984-12-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag KOMPASS Naturführer Pilze

    KOMPASS Naturführer Pilze

    Christine Jaitner

    Inbunden

    159:-
  2. bokomslag Muse Cells

    Muse Cells

    Mari Dezawa

    Inbunden

    2149:-
  3. bokomslag Artificial Intelligence in IoT and Cyborgization

    Artificial Intelligence in IoT and Cy...

    Rajesh Kumar Dhanaraj, Bharat S Rawal, Sathya Krishnamoorthi, Balamurugan Balusamy

    Pocket

    2409:-
  4. bokomslag Knowledge and Systems Sciences

    Knowledge and Systems Sciences

    Jian Chen, Van Nam Huynh, Gia-Nhu Nguyen, Xijin Tang

    Pocket

    719:-
  5. bokomslag Therapeutic Applications of Ribozymes and Riboswitches

    Therapeutic Applications of Ribozymes...

    Audrey Dubé Daniel Lafontaine

    1539:-
  6. bokomslag Artificial Intelligence in IoT and Cyborgization

    Artificial Intelligence in IoT and Cy...

    Rajesh Kumar Dhanaraj, Bharat S Rawal, Sathya Krishnamoorthi, Balamurugan Balusamy

    Inbunden

    2799:-
  7. bokomslag Proceedings of International Conference on Data, Electronics and Computing

    Proceedings of International Conferen...

    Nibaran Das, Ajoy Kumar Khan, Swagata Mandal, Ondrej Krejcar, Debotosh Bhattacharjee

    Pocket

    2829:-
  8. bokomslag Lectures on Boolean Algebras

    Lectures on Boolean Algebras

    P R Halmos Steven Givant

    Pocket

    1009:-
  9. bokomslag Proceedings of 2023 4th International Symposium on Insulation and Discharge Computation for Power Equipment (IDCOMPU2023)

    Proceedings of 2023 4th International...

    Li Cai Xuzhu Dong

    Pocket

    4579:-
  10. bokomslag Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    Harald Ganzinger

    Pocket

    749:-

Andra av samma författare

  1. bokomslag Decidable Theories

    Decidable Theories

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

    Pocket

    579:-
  2. bokomslag ISILC - Proof Theory Symposion

    ISILC - Proof Theory Symposion

    G H Müller J Diller

    Pocket

    509:-
  3. bokomslag ISILC - Logic Conference

    ISILC - Logic Conference

    G H Müller, A Oberschelp, K Potthoff

    Pocket

    719:-
  4. bokomslag Higher Set Theory

    Higher Set Theory

    D S Scott G H Müller

    Pocket

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

    Logic Symposia, Hakone, 1979, 1980

    G H Müller, G Takeuti, T Tugue

    Pocket

    579:-
  6. bokomslag Study of Time

    Study of Time

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

    Pocket

    1429:-