- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
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.



