| dc.date.accessioned | 2019-02-13T12:24:00Z | |
| dc.date.available | 2019-02-13T12:24:00Z | |
| dc.date.issued | 1991 | |
| dc.identifier.uri | https://oda.mfo.de/handle/mfo/604 | |
| dc.identifier.urn | urn:nbn:de:bsz:frei3c-oda-bsz3250927539 | |
| dc.identifier.doi | 10.14760/TB-1991-19 | |
| dc.identifier.archive-call-no | E20/02281 | |
| dc.title | 9118 | |
| local.sortindex | 543 | |
| local.date-range | 28.04. bis 4.5.1991 | |
| local.pages | 14 S. | |
| local.workshopcode | 9118 | |
| local.workshoptitle | Deductive systems | |
| local.organizers | Woodrow W. Bledsoe, Austin; Gerhard Jäger, Bern; Michael M. Richter, Kaiserslautern | |
| local.participants | Walter Felscher; Peter Aczel; Arnon Avron; Wolfgang Bibel; Woodrow W. Bledsoe; Egon Börger; Alan Bundy; Martin Davis; Amy Felty; Larry Hines; Bernd Hollunder; Christian Horn; Gerard Huet; Gerhard Jäger; Donald W. Loveland; Ewing Lusk; Janos A. Makowsky; Markus Marzetta; Daniel Mey; Dale Miller; J. Strother Moore; Hans Jürgen Ohlbach; Ross Overbeek; David Plaisted; Wolfram Pohlers; Michael M. Richter; Ulf R. Schmerl; Peter H. Schmitt; Wolfgang Schönfeld; Helmut Schwichtenberg; John C. Shepherdson; Robert F. Stärk; Stanley S. Wainer; Christoph Walther | |
| local.report-name | Workshop Report 1991,19 | |
| local.ba-page-1 | 139 | |
| local.ba-handle-1 | mfo/121 | |
| local.ba-link-text-1 | Book of Abstracts No. 91: images 140 - 160 (pages 135 - 155) | |
