George Logemann: Полный список книг

George Logemann: список всех книг (2)

An Algorithm for Constructing Feasible Schedules and Computing Their Schedule Times - Jack Heller, George Logemann

An Algorithm for Constructing Feasible Schedules and Computing Their Schedule Times

Jack Heller, George Logemann
A Machine Program for Theorem-proving - Martin Davis, George Logemann, Donald Loveland

A Machine Program for Theorem-proving

Martin Davis, George Logemann, Donald Loveland

2018