389:-
Uppskattad leveranstid 10-15 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Decidability and completeness of SC.- Benefits of the decision procedure.
- 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