Automated Theorem Proving: A Logical Basis - Couverture rigide

Loveland, Donald W.

 
9780720404999: Automated Theorem Proving: A Logical Basis

Autres éditions populaires du même titre

9781493305513: Automated Theorem Proving: A Logical Basis

Edition présentée

ISBN 10 :  1493305514 ISBN 13 :  9781493305513
Editeur : North Holland, 2014
Couverture souple