Instantiation theory : on the foundations of automated deduction
Finna-recension
Instantiation theory : on the foundations of automated deduction
Sparad:
| Fysisk beskrivning |
VIII, 133 s. |
|---|---|
| Språk |
engelska |
| Förlag |
Berlin :
Springer,
cop. 1991.
|
| Serie | Lecture notes in artificial intelligence, 518. Lecture notes in computer science, 518. |
| Klassifikation | |
| Mer information | J. G. Williams |
| ISBN |
0-387-54333-3 3-540-54333-3 |
| Hämta fulltext | |