Decidable Theories 1
bokomslag Decidable Theories
Vetenskap & teknik

Decidable Theories

Dirk Siefkes • Gert H Mller

Pocket

519:-

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

Uppskattad leveranstid 7-11 arbetsdagar

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

  • 134 sidor
  • 1970
Decidability and completeness of SC.- Benefits of the decision procedure.

  • Författare: Dirk Siefkes, Gert H Mller
  • Format: Pocket/Paperback
  • ISBN: 9783540049098
  • Språk: Engelska
  • Antal sidor: 134
  • Utgivningsdatum: 1970-01-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Recursion Theory Week

    Recursion Theory Week

    Klaus Ambos-Spies, Gert H Mller, Gerald E Sacks

    Pocket

    609:-
  2. bokomslag Decidable Theories

    Decidable Theories

    J R Bchi, D Siefkes, G H Mller, D Siefkes

    Pocket

    809:-
  3. bokomslag I segreti del Parhelion di Stoccolma

    I segreti del Parhelion di Stoccolma

    Gianna Pinotti

    Pocket

    419:-
  4. bokomslag Recursion Theory Week

    Recursion Theory Week

    Heinz-Dieter Ebbinghaus, Gert H Mller, Gerald E Sacks

    Pocket

    1009:-
  5. bokomslag Pioniere der Informatik

    Pioniere der Informatik

    Dirk Siefkes, Anette Braun, Peter Eulenhfer, Heike Stach, Klaus Stdtler

    Pocket

    399:-
  6. bokomslag Formal Models of Communicating Systems

    Formal Models of Communicating Systems

    Benedikt Bollig

    Pocket

    1159:-
  7. bokomslag Leibniz: Body, Substance, Monad

    Leibniz: Body, Substance, Monad

    Daniel Garber

    Inbunden

    1499:-
  8. bokomslag Leibniz: Body, Substance, Monad

    Leibniz: Body, Substance, Monad

    Daniel Garber

    Pocket

    669:-
  9. bokomslag Formalisieren und Beweisen

    Formalisieren und Beweisen

    Dirk Siefkes

    Pocket

    879:-
  10. bokomslag Dune and Philosophy

    Dune and Philosophy

    Kevin S Decker

    Pocket

    229:-

Andra av samma författare

  1. bokomslag Finite Automata, Their Algebras and Grammars

    Finite Automata, Their Algebras and G...

    Dirk Siefkes J Richard Bchi

    Pocket

    1999:-
  2. bokomslag The Collected Works of J. Richard Bchi

    The Collected Works of J. Richard Bchi

    J Richard Bchi, Saunders Mac Lane, Dirk Siefkes

    Pocket

    1009:-
  3. bokomslag Formalisieren und Beweisen

    Formalisieren und Beweisen

    Dirk Siefkes

    Pocket

    879:-
  4. bokomslag Formalisieren und Beweisen

    Formalisieren und Beweisen

    Dirk Siefkes

    Pocket

    1229:-
  5. bokomslag Recursion Theory Week

    Recursion Theory Week

    Heinz-Dieter Ebbinghaus, Gert H Mller, Gerald E Sacks

    Pocket

    1009:-
  6. bokomslag Recursion Theory Week

    Recursion Theory Week

    Klaus Ambos-Spies, Gert H Mller, Gerald E Sacks

    Pocket

    609:-
  7. bokomslag Pioniere der Informatik

    Pioniere der Informatik

    Dirk Siefkes, Anette Braun, Peter Eulenhfer, Heike Stach, Klaus Stdtler

    Inbunden

    469:-
  8. bokomslag Pioniere der Informatik

    Pioniere der Informatik

    Dirk Siefkes, Anette Braun, Peter Eulenhfer, Heike Stach, Klaus Stdtler

    Pocket

    399:-
  9. bokomslag Bchis Monadic Second Order Successor Arithmetic

    Bchis Monadic Second Order Successor ...

    Dirk Siefkes

    Pocket

    899:-
  10. bokomslag GI-4.Jahrestagung

    GI-4.Jahrestagung

    Dirk Siefkes

    Pocket

    899:-