Instantiation theory : on the foundations of automated deduction
Finna-arvio
Instantiation theory : on the foundations of automated deduction
Tallennettuna:
| Ulkoasu |
VIII, 133 s. |
|---|---|
| Kieli |
englanti |
| Julkaisija |
Berlin :
Springer,
cop. 1991.
|
| Sarja | Lecture notes in artificial intelligence, 518. Lecture notes in computer science, 518. |
| Luokitus | |
| Lisätiedot | J. G. Williams |
| ISBN |
0-387-54333-3 3-540-54333-3 |
| Hae kokoteksti | |