The Computational Complexity of Logical Theories
J Ferrante • C W Rackoff
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
- Format: Perfect
- ISBN: 9783662209806
- Språk: Engelska
- Antal sidor: 256
- Utgivningsdatum: 2014-03-12
- Förlag: Springer