Spara
Computable Models
In doing so he presents the first systematic attempt to provide computational models with a logical foundation.
Computable models have wide-ranging applications from programming language semantics and specification languages, through to knowledge representation languages and formalism for natural language semantics.
- Författare
- raymond turner
- Upplaga
- 1st ed. Softcover of orig. ed. 2009
- ISBN
- 9781849968188
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2010-10-13
- Förlag
- Springer London Ltd
- Sidor
- 240
