bokomslag Decidable Theories
Vetenskap & teknik

Decidable Theories

Dirk Siefkes Gert H Mller

Pocket

389:-

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:-

  • 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