Rajaa
Hakutulokset: 9780444508126
Rajaa
yksi hakutulos.
Handbook of Automated Reasoning
sidottu,
2001,
englanti,
ISBN 9780444508126
This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, …