Suggested Topics within your search.
Showing 1 - 6 results of 6 for search '', query time: 0.13s Refine Results
1
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings /
Berlin ; New York : Springer, 1996

Conference Proceeding Book
3
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings /
Berlin ; New York : Springer, 1996

Conference Proceeding Book
5
Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings /
Berlin ; New York : Springer, 1996

Conference Proceeding Book
6
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers /
Berlin ; New York : Springer, 1998

Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search — Save Search