Show simple item record

Automatisches Beweisen

dc.date.accessioned2019-02-13T13:47:59Z
dc.date.available2019-02-13T13:47:59Z
dc.date.issued1976
dc.identifier.urihttps://oda.mfo.de/handle/mfo/1407
dc.identifier.urnurn:nbn:de:bsz:frei3c-oda-bsz3251068190
dc.identifier.doi10.14760/TB-1976-3
dc.identifier.archive-call-noE20/01481
dc.title7602b
local.sortindex1346
local.date-range5.1. bis 10.1.1976
local.pages11 S.
local.workshopcode7602b
local.workshoptitleAutomatisches Beweisen
local.organizersWoodrow W. Bledsoe, Austin; Michael M. Richter, Aachen
local.participantsP. 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-nameWorkshop Report 1976,3
local.gb-page-1296
local.gb-handle-1mfo/63
local.gb-link-text-1Guest Book No. 3: image 297 (page 292)
local.ba-page-1108
local.ba-handle-1mfo/180
local.ba-link-text-1Book of Abstracts No. 32: images 109 - 126 (pages 102 - 119)


Downloads

Thumbnail
Report

This item appears in the following Collection(s)

Show simple item record