Programs and machines : an introd. to the theory of computation
Year of publication: |
1976
|
---|---|
Authors: | Bird, Richard |
Publisher: |
London [u.a.] : Wiley |
Subject: | Programmverifikation | Berechenbarkeit | Mathematische Logik |
-
Trade theory in computable general equilibrium models : Armington, Krugman and Melitz
Dixon, Peter B., (2018)
-
Gollers, Rolf, (1980)
-
Programs, machines, and computation : an introduction to the theory of computing
Clark, Keith L., (1976)
- More ...
-
Décentralisation financière et pays en développement : concepts, mesure et évaluation
Bird, Richard, (1998)
-
Put up or shut up: Self-assessment and asymmetric information
Bird, Richard, (1984)
-
Decentralization of Intergovernmental Finance in Transition Economies
Bird, Richard, (1994)
- More ...