Author

George Logemann

2 books found

Cover of Algorithm for Constructing Feasible Schedules and Computing Their Schedule Times

Algorithm for Constructing Feasible Schedules and Computing Their Schedule Times

George Logemann, Jack Heller · First published 2018

Cover of Machine Program for Theorem-Proving

Machine Program for Theorem-Proving

Martin Davis, George Logemann, Donald Loveland · First published 2018