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 International Publishing AG, (2020), Paperback, 425 pages.
Topics: Expert systems / knowledge-based systems, Algorithms & data structures, Systems analysis & design, Computer science.