Harald Ganzinger

Automated Deduction - CADE-16 - 1999 - Springer Berlin Heidelberg 1999 - Lecture Notes in Computer Science .

9783540486602


Computer Science