Participants: Loveland, Donald W., [ VerfasserIn, VerfasserIn ]; Hodel, Richard E., [ VerfasserIn ]; Sterrett, S. G., [ VerfasserIn ]; Hodel, Richard E., [ VerfasserIn, VerfasserIn, MitwirkendeR, MitwirkendeR ]; Loveland, Donald W., [ MitwirkendeR, MitwirkendeR ]; ...
Published: [2014]
Superior document: Title is part of eBook package: De Gruyter Princeton University Press Complete eBook-Package 2014-2015

Participants: Special Session on Automatic Theorem Proving Denver, Colo.), [ ]; Bledsoe, W. W., [ TeilnehmendeR ]; Loveland, Donald W., [ TeilnehmendeR ]; American Mathematical Society, [ TeilnehmendeR ]
Published: [1984]
Superior document: Contemporary mathematics, volume 29