Cover Image
Read Now

1
by Gordon, Andrew S., Hobbs, Jerry R.
Published 2017
Cambridge University Press
“... in future artificial intelligence systems. This book provides a large-scale logical formalization...”