A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics

Name: A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics
ISBN: 9781483277783

Robert S. Boyer , J Strother Moore , Werner Rheinboldt

まだ評価がありません