Automation of reasoning. 2, Classical papers on computational logic 1967-1970
Finna-arvio
Automation of reasoning. 2, Classical papers on computational logic 1967-1970
Tallennettuna:
| Ulkoasu |
XII, 637 s |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Berlin :
Springer,
1983.
|
| Sarja | Symbolic computation |
| Luokitus | |
| Lisätiedot | edited by Jörg Siekmann and Graham Wrightson |
| ISBN |
3-540-12044-0 kovakantinen 0-387-12044-0 |
| Hae kokoteksti | |