7602b
Automatisches Beweisen
| dc.date.accessioned | 2019-02-13T13:47:59Z | |
| dc.date.available | 2019-02-13T13:47:59Z | |
| dc.date.issued | 1976 | |
| dc.identifier.uri | https://oda.mfo.de/handle/mfo/1407 | |
| dc.identifier.urn | urn:nbn:de:bsz:frei3c-oda-bsz3251068190 | |
| dc.identifier.doi | 10.14760/TB-1976-3 | |
| dc.identifier.archive-call-no | E20/01481 | |
| dc.title | 7602b | |
| local.sortindex | 1346 | |
| local.date-range | 5.1. bis 10.1.1976 | |
| local.pages | 11 S. | |
| local.workshopcode | 7602b | |
| local.workshoptitle | Automatisches Beweisen | |
| local.organizers | Woodrow W. Bledsoe, Austin; Michael M. Richter, Aachen | |
| local.participants | P. Altmann, Aachen; W. Bibel, München; W. W. Bledsoe, Austin; E. Börger, Münster; F. M. Brown, Edinburgh; A. Bundy, Edinburgh; J. L. Darlington, Bonn; H. Davis, New York; T. Gergely, Budapest; U. Grude, Berlin; P. J. Hayes, Essex; L. Henschen, Evanston; G. Hoffmann, Tübingen; G. Huet, Rocquencourt; W. H. Joyner, Yorktown; K. Justen, Aachen; R. Kowalski, London; D. S. Lankford, Georgetown; A. J. Nevins, Atlanta; R. Overbeek, DeKalb; T. Pietrzykowski, Waterloo; R. Reiter, Vancouver; H. H. Richter, Aachen; J. A. Robinson, Syracuse; C. Schippang, Aachen; W. Schönfeld, Stuttgart; H. K. Seeland, Stuttgart; S. Sickel, Santa Cruz; J. Siekmann, Karlsruhe; S. Tärnlund, Stockholm; M. Tyson, Austin; G. Veenker, Bonn; G. Winterstein, Kaiserslautern | |
| local.report-name | Workshop Report 1976,3 | |
| local.gb-page-1 | 296 | |
| local.gb-handle-1 | mfo/63 | |
| local.gb-link-text-1 | Guest Book No. 3: image 297 (page 292) | |
| local.ba-page-1 | 108 | |
| local.ba-handle-1 | mfo/180 | |
| local.ba-link-text-1 | Book of Abstracts No. 32: images 109 - 126 (pages 102 - 119) |
Downloads
