Automating Theorem Proving with the Induction Axiom
Auteur : William T. Laaser, Francis D. Tuggle
Date de publication : 1976
Éditeur : School of Business, University of Kansas
Nombre de pages : 10
Résumé du livre
Aucun résumé disponible pour ce livre.