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: | |