Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

Author: Zhe Hou
Publisher: Springer
Language: English
Year: 2022
Page: 232
ISBN: 3030878813,9783030878818
File Type: epub
File Size: 21.3 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book