Automated Reasoning

Author: Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Publisher: Springer International Publishing
Language: English
Edition: 1st ed.
Year: 2018
Page: XVIII, 724
ISBN: 978-3-319-94204-9,978-3-319-94205-6
File Type: pdf
File Size: 28.9 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book