Andrews, James H: Logic programming: operational semantics and proof theory (Distinguished Dissertations in Computer Science)

Books by

Andrews, James H

Click here for all books by Andrews, James H available for purchase on-line.


Logic programming: operational semantics and proof theory (Distinguished Dissertations in Computer Science) by Andrews, James H listed for sale on Bibliophile Bookbase. Click here for full details and on-line purchase.