← Back to Browse

Logic-Based Program Synthesis and Transformation

by Danny De Schreye

Subjects

Logic design Software engineering Computer science Artificial intelligence Informatique Programmtransformation Logic programming Congresses Logische Programmierung Logic Beweistheorie Programmierlogik

Read on Open Library More by Danny De Schreye

Related Books