52

Using forcing to prove completeness of resolution and paramodulation

Year:
1991
Language:
english
File:
PDF, 1.06 MB
english, 1991
58

Self-termination from a child guidance center

Year:
1975
Language:
english
File:
PDF, 559 KB
english, 1975
76

The changing duties of today's foreman

Year:
1967
Language:
english
File:
PDF, 327 KB
english, 1967
83

The control of undesired behavior by self-imposed contingencies

Year:
1973
Language:
english
File:
PDF, 266 KB
english, 1973
84

Differential conditioning using covert stimuli

Year:
1973
Language:
english
File:
PDF, 225 KB
english, 1973
99

A Technique for Establishing Completeness Results in Theorem Proving with Equality

Year:
1983
Language:
english
File:
PDF, 2.25 MB
english, 1983
100

Ring 1 chromosome and dwarfism—a possible syndrome

Year:
1967
Language:
english
File:
PDF, 1.16 MB
english, 1967