A Machine Program for Theorem-proving - Couverture souple

Davis, Martin; Logemann, George; Loveland, Donald

 
9781379081265: A Machine Program for Theorem-proving

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

Autres éditions populaires du même titre