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 |