Schoning, Uwe

Logic for Computer Scientists by Uwe Schoning - Bostan Birkhauser 1989 - 166p.

9780817634537


Logic Programming
Logic, Symbolic and mathematical

511.3 SCH