Automation of reasoning. Vol. 2. Classical papers on computational logic. 1967 - 1970 /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin :
Springer,
1983
|
| Edice: | Symbolic computation
|
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Fyzický popis: | 12, 637 s. |
|---|