wyszukanych pozycji: 2
Automated Deduction - Cade-11: 11th International Conference on Automated Deduction, Saratoga Springs, Ny, Usa, June 15-18, 1992. Proceedings
ISBN: 9783540556022 / Angielski / Miękka / 1992 / 800 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the papers presented at the 11th International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, New York, in June 1992. Topics covered include: resolution; term writing; natural deduction; parallel theorem provers; and unification theory.
This volume contains the papers presented at the 11th International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, New York, in...
|
|
cena:
389,98 zł |
Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers
ISBN: 9783540878261 / Angielski / Miękka / 2008 / 359 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during two rounds of reviewing and improvement from 65 submissions. The papers are organized in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic.
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore...
|
|
cena:
292,48 zł |