The Resolution calculus
Enregistré dans:
| Auteur principal: | |
|---|---|
| Support: | Livre |
| Langue: | Anglais |
| Publié: |
Berlin : New York (etc.) :
Heidelberg ; Springer,
1997.
|
| Collection: | Texts in theorical computer science
|
| Sujets: |
| LEADER | 00586nam a22002177a 4500 | ||
|---|---|---|---|
| 001 | 8050 | ||
| 008 | 960401s1997 xxe ||| |||| 00| 0 eng d | ||
| 020 | |a 3540618821 | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.301 | ||
| 100 | |a Leitsch, Alexander. | ||
| 245 | 1 | 4 | |a The Resolution calculus |c Alexander Leitsch. |
| 260 | |a Berlin : |b Heidelberg ; |a New York (etc.) : |b Springer, |c 1997. | ||
| 300 | |a 300 p. | ||
| 490 | 0 | |a Texts in theorical computer science | |
| 500 | |a Bibliogr. p.288-293. Index | ||
| 650 | |a Résolution de problème. | ||
| 650 | |a Calcul. | ||
| 993 | |a Livre | ||
| 994 | |a PS | ||
| 997 | |0 8050 | ||