Machine Program for Theorem-Proving

Ediciones (1)

• Machine Program for Theorem-Proving (2018)

  Creative Media Partners, LLC · inglés · ISBN 9781379081265

Más obras de Martin Davis

The 25 Greatest Achievements in Golf

Cases and Materials on Housing Law (Cases & Materials)