- Bestand E 0020 Mathematisches Forschungsinstitut Oberwolfach (1944-2008)
Vollansicht Verzeichnungseinheit 633
| Signatur: | 633 |
| Titel: | Automatisches Beweisen : |
| Laufzeit: | 1976 |
| Enthält: | Woodrow W. Bledsoe, Austin; Michael M. Richter, Aachen |
| Umfang: | 7 Schr. |
| Altsignatur: | Tagungsbericht 1976,3 |
| Bemerkung: | 1976 |
| Bestellsignatur: | E 0020 (Mathematisches Forschungsinstitut Oberwolfach (1944-2008)), 633 |