Symposium on Automatic Demonstration [proceedings] /
41
Main Authors: | Symposium on Automatic Demonstration (1968 : Versailles, France), Laudet, M. |
---|---|
Format: | |
Published: |
Berlin : Springer-Verlag,
1970
|
Subjects: |
Similar Items
-
Automated Deduction, Les Arcs, France, July 8-11, 1980 /
by: Conference on Automated Deduction, (5th : 1980 : Les Arcs), et al.
Published: (1980) -
Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings /
by: Namjoshi, Kedar S., et al.
Published: (2007) -
Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
by: ATVA 2008 (2008 : Seoul, Korea), et al.
Published: (2008) -
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings /
by: TABLEAUX 2007 (2007 : Aix en Provence, France), et al.
Published: (2007) -
Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /
by: Kerber, Manfred, et al.
Published: (2001)