| 1 |
A recursive introduction to the theory of computation / Carl H. Smith
New York : Springer-Verlag , 1994
|
| 2 |
An introduction to Kolmogorov complexity and its applications / Ming Li, Paul Vitányi
2nd ed. - New York : Springer , c1997
|
| 3 |
Logic for applications / Anil Nerode and Richard A. Shore
2nd ed. - New York : Springer , c1997
|
| 4 |
First-order logic and automated theorem proving / Melvin Fitting
2nd ed. - New York : Springer-Verlag , c1996
|
| 5 |
On concurrent programming / Fred B. Schneider
New York ; Berlin : Springer , c1997
|
| 6 |
Fundamentals of the new artificial intelligence : beyond traditional paradigms / Toshinori Munakata
New York : Springer , c1998
|
Mendeley出力
