Automation of reasoning. 1, Classical papers on computational logic 1957-1966
Finna-arvio
Automation of reasoning. 1, Classical papers on computational logic 1957-1966
Tallennettuna:
| Ulkoasu |
525 sivua |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Berlin :
Springer,
1983.
|
| Lisätiedot | ed. by Jörg Siekmann and Graham Wrightson |
| ISBN |
0-387-12043-2 NY) 3-540-12043-2 Berlin |
| Hae kokoteksti | |