au.\*:("JOYNER WH JR")
Results 1 to 2 of 2
Selection :
RESOLUTION STRATEGIES AS DECISION PROCEDURES.JOYNER WH JR.1976; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1976; VOL. 23; NO 3; PP. 398-417; BIBL. 1 P.Article
LOGIC SYNTHESIS THROUGH LOCAL TRANSFORMATIONSDARRINGER JA; JOYNER WH JR; BERMAN CL et al.1981; IBM J. RES. DEVELOP.; ISSN 0018-8646; USA; DA. 1981; VOL. 25; NO 4; PP. 272-280; BIBL. 22 REF.Article