Hou, Zhe <br/><br/>
Fundamentals of logic and computation: With practical automated reasoning and verification 
Hou, Zhe 
 - Switzerland   Springer  2021 
 - x, 221p. ill. 
<br/><br/><label>ISBN: </label>9783030878818 
<br/><br/><label>Source: </label>Textual 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Computation<br/> Logic<br/>Computer Science