Donald Loveland: Полный список книг

Donald Loveland: список всех книг (1)

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