1992

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings

International Conference on Automated Deduction (11th : 1992 : Saratoga Springs, N.Y.)

Berlin ; New York : Springer-Verlag, ©1992

 

2014

Automated reasoning : 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

IJCAR (Conference) (7th : 2014 : Vienna, Austria)

Cham : Springer, 2014

 

2008

Computer mathematics : 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 : proceedings

Asian Symposium on Computer Mathematics (8th : 2007 : Singapore)



 

2016

Dependable software engineering : theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

SETTA (Symposium) (2nd : 2016 : Beijing, China)

Cham, Switzerland : Springer, 2016

 

1989

Geometric reasoning

First MIT Press edition
Cambridge, Mass. : MIT Press, 1989

Request It 

2017

Theoretical aspects of computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings

ICTAC (Colloquium) (14th : 2017 : Hanoi, Vietnam)

Cham : Springer, 2017