Automated theorem proving : a logical basis /
| Hlavní autor: |
Loveland, Donald W.
(
Autor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Amsterdam :
North-Holland,
1978.
|
| Edice: |
Fundamental Studies in Computer Science ;
6 |
| Předmět: | |
|
|