Automation of Logic (Chapman & Hall/CRC Studies in Informatics Series)

by Christoph Weidenbach

Hardcover

details (United States).

ISBN: 978-1-4398-7535-3

ISBN-10: 1-4398-7535-9

Chapman and Hall/CRC · 2021