Automated Reasoning. Introduction and Applications Larry Wos Ross Overbeek Ewing Lusk Jim Boyle
| Autor: | Beeson, Michael J. |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 1986 Jun 01. 51(2), 464-465. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | Beeson, Michael J. |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 1986 Jun 01. 51(2), 464-465. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|