H. Schwichtenberg
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 83 |
| Google books | books.google.com |
| Date of birth | April 5,1942 |
| Zodiac sign | Aries |
| Born | Zagan |
| Poland | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 973261 |
H. Schwichtenberg Life story
Helmut Schwichtenberg is an Emeritus Professor of Mathematics at Ludwig-Maximilians-Universitat Munchen. He has recently developed the 'proof-assistant' MINLOG, a computer-implemented logic system for proof/program development and extraction of computational content.
