Laguna University Digital Library

Discover books, e-journals, theses, and special collections — all in one place.

Fundamentals of logic and computation: with practical automated reasoning and verification.

by Hou, Zhe

Published by: Switzerland : Springer , 2021

Sublocation: EGC
Call Number: 005.101 H81f 2021
Physical Desc.: x, 221 p.
ISBN: 978-3-030-87882-5
Copies: —