On the Unusual Effectiveness of Logic in Computer Science
| Autor: | Halpern, Joseph Y., Harper, Robert, Immerman, Neil, Kolaitis, Phokion G., Vardi, Moshe Y., Vianu, Victor |
|---|---|
| Zdroj: | The Bulletin of Symbolic Logic, 2001 Jun 01. 7(2), 213-236. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|