Metamathematics for Systems Design.
| Autor: | Hasuo, Ichiro1 i.hasuo@acm.org |
|---|---|
| Zdroj: | New Generation Computing. Jul2017, Vol. 35 Issue 3, p271-305. 35p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
| Autor: | Hasuo, Ichiro1 i.hasuo@acm.org |
|---|---|
| Zdroj: | New Generation Computing. Jul2017, Vol. 35 Issue 3, p271-305. 35p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|