Automated Deduction - CADE-14
International Conference on Automated Deduction (14th 1997 Townsville, Qld.)
₹4,298
Results for “Automated Deduction”
Showing 1–21 of 21 books
Automated Deduction
Amy P. Felty, Aart Middeldorp
₹4,306
Automated Deduction - Cade-11
Deepak Kapur
₹4,105
Automated Deduction in Geometry
Dongming Wang
₹5,496
Automated Deduction in Geometry
Thomas Sturm, Christoph Zengler
₹5,499
Automated Deduction in Geometry
Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
₹5,715
Automated Deduction - Cade-19
Franz Baader
₹5,636
Automated Deduction in Geometry
Franz Winkler
₹5,560
Automated Deduction in Geometry
Jürgen Richter-Gebert, Dongming Wang
₹5,785
Automated Deduction - Cade-18
Andrei Voronkov
₹5,649
Automated Deduction – CADE 27
Pascal Fontaine
₹6,205
Automated Deduction -- Cade-23
Nikolaj Björner, Viorica Sofronie-Stokkermans
₹5,669
Automated Deduction in Geometry
Xiao-Shan Gao, Dongming Wang, Lu Yang
₹2,258
Automated Deduction in Geometry
Francisco Botana
₹2,270
Automated Deduction - Cade-16
Harald Ganzinger
₹5,598
Automated Deduction - Cade-15
Claude Kirchner, Helene Kirchner
₹5,605
5th Conference on Automated Deduction
W. Bibel
₹4,346
9th International Conference on Automated Deduction
Ewing Lusk, Ross Overbeek
₹5,283
Automated Deduction in Equational Logic and Cubic Curves
William McCune, R. Padmanabhan
₹5,560
Automatic Cyberbullying Detection
Michal E. Ptaszynski, Fumito Masui
₹5,149
Automated Image Detection of Retinal Pathology
Herbert Jelinek, Michael J. Cree
₹12,895