//]]>
Automated technology for verification and analysis : , 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xix, 404 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated deduction, CADE-20 : , 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /   Publication: Berlin : Springer, 2005 . xiii, 457 p. : 24 cm. Date:2005 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart

Languages: 
English |
العربية