Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems by Armin Biere.
Published by Springer, (2020), Paperback, 501 pages.
Topics: Expert systems / knowledge-based systems, Algorithms & data structures, Systems analysis & design, Computer science.