William McCune – författare
Visar alla böcker från författaren William McCune. Handla med fri frakt och snabb leverans.
3 produkter
Automated Deduction in Equational Logic and Cubic Curves
Av William McCune, R. Padmanabhan
Häftad, 1996
569 kr
Lägg i varukorg
This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their …
Automated Deduction - CADE-14
14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
Häftad, 1997
569 kr
Lägg i varukorg
This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997.The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system …
Automated Deduction - CADE-14
14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
E-bok, 2005
739 kr
Lägg i varukorg
This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997. The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 …
