The Use of Lemmas in the Model Elimination Procedure von Astrachan, O L, Loveland, D W

Volltext

Caching and lemmaizing in model elimination theorem provers von Astrachan, Owen L., Stickel, Mark E.

Volltext

METEORS: High Performance Theorem Provers Using Model Elimination von Astrachan, O L, Loveland, D W

Volltext bestellen

Strategic directions in computer science education von TUCKER, A. B, ASTRACHAN, O, PROULX, V, RADA, R, RASALA, R, ROBERTS, E, RUDICH, S, STEIN, L, VAN LOAN, C, BRUCE, K, CUPPER, R, DENNING, P, DRYSDALE, S, HORTON, T, KELEMEN, C, MCGEOCH, C, PATT, Y

Volltext

The reactivity of the bound DPN of muscle triose phosphate dehydrogenase von Astrachan, Lazarus, Colowick, Sidney P., Kaplan, Nathan O.

Volltext