1
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

साल:
2013
भाषा:
english
फ़ाइल:
PDF, 4.03 MB
0 / 5.0
english, 2013
3
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

साल:
1982
भाषा:
english
फ़ाइल:
DJVU, 2.64 MB
0 / 0
english, 1982
4
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

साल:
1982
भाषा:
english
फ़ाइल:
PDF, 14.66 MB
0 / 0
english, 1982
5
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

साल:
1982
भाषा:
english
फ़ाइल:
PDF, 15.30 MB
0 / 0
english, 1982
6
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

साल:
2013
भाषा:
english
फ़ाइल:
PDF, 3.91 MB
0 / 0
english, 2013
7
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970

Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970

साल:
1983
भाषा:
english
फ़ाइल:
PDF, 28.50 MB
0 / 0
english, 1983