George Logemann

2 books

Aug 31, 2011
Cover of A Machine Program for Theorem-Proving

A Machine Program for Theorem-Proving

Aug 18, 2011
Cover of An Algorithm for Constructing Feasible Schedules and Computing Their Schedule Times

An Algorithm for Constructing Feasible Schedules and Computing Their Schedule Times