Logic-Based Program Synthesis and Transformation

By Annalisa Bossi

Subjects: Artificial Intelligence, Congresses, Logics and Meanings of Programs, Logic design, Artificial intelligence, Computer science, (incl. Robotics), Logic programming, Mathematical Logic and Formal Languages, Programming Techniques

Description: