A Machine Program for Theorem-Proving - Couverture souple

Davis, Martin; Logemann, George; Loveland, Donald

 
9781179051789: A Machine Program for Theorem-Proving

L'édition de cet ISBN n'est malheureusement plus disponible.

Autres éditions populaires du même titre