MPG.eBooks - Description: Automated Reasoning

Read Now

This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com

Bibliographic Details
Other Authors:	Blanchette, Jasmin (Editor), Kovács, Laura (Editor), Pattinson, Dirk (Editor)
Format:	eBook
Language:	English
Published:	Cham Springer International Publishing 2022, 2022
Edition:	1st ed. 2022
Series:	Lecture Notes in Artificial Intelligence
Subjects:	Computer Science Logic And Foundations Of Programming Software Engineering Computer Science Artificial Intelligence Formal Languages And Automata Theory Computer Networks Computer Engineering And Networks Machine Theory Computer Engineering
Online Access:	https://doi.org/10.1007/978-3-031-10769-6?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

Description
Summary:	This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com
Physical Description:	XV, 756 p. 110 illus., 42 illus. in color online resource
ISBN:	9783031107696