Your search returned 2 results.

Sort
Results
1.
automation of reasoning; 1 (Chapters: 30) ; classical papers on computational logic 1957-1966 by Series: symbolic computation | encarnacao, j. (ed.) | hayes, p. (ed.)
Edition: 1. ed.
Language: English
Publication details: berlin, heidelberg, new york : springer-verlag 1983
Availability: Items available for loan: Institute for Advanced Studies (IHS) (1)Call number: 10931-A/I.

2.
automation of reasoning; 2 (Chapters: 33) ; classical papers on computational logic 1967-1970 by Series: symbolic computation | encarnacao, j. (ed.) | hayes, p. (ed.)
Edition: 1. ed.
Language: English
Publication details: berlin, heidelberg, new york : springer-verlag 1983
Availability: Items available for loan: Institute for Advanced Studies (IHS) (1)Call number: 10931-A/II.

Pages

Powered by Koha