Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970 - Couverture rigide

 
9780387120447: Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970

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

Synopsis

Book by None

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.