Carsten Schürmann
Department of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
U.S.A.
carsten@cs.cmu.edu
+1.412.268.3069
+1.412.268.5576 (FAX)
|
|
Home |
|
|
Publications |
|
|
Organization |
|
|
Projects |
Organization
Conferences
Organized Workshop for Automation of Proofs by Mathematical induction, held in conjuction with CADE'00 in Pittsburgh, Pennsylvania.Tutorials
At CADE-17, I have given a tutorial on