The resolution calculus /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Berlin :
Springer,
c1997
|
| Edice: | Texts in theoretical computer science
|
| Témata: |
| Fyzický popis: | viii, 300 s. |
|---|---|
| ISBN: | 3-540-61882-1 |