Request for: Handbook of practical logic and automate

 Staff view

You must be logged in to Tag Records

Handbook of practical logic and automated reasoning /

John Harrison.

Book Cover
Author: Harrison, J.
Published: Cambridge : Cambridge University Press, 2009.
Topics: Computer logic.
Genres: Electronic books.
Tags: Add

Spaces will separate tags.
Use quotes for multi-word tags.

You must first login before requesting items. Additional help requesting materials for Benedictine borrowers.