Computer Science Logic

Computer Science Logic
Hans Kleine Büning, Egon Börger, Gerhard Jäger, Michael M. Richter
Details
- OL Work ID
- OL25643523W
Subjects
Logic, symbolic and mathematicalComputer science

Hans Kleine Büning, Egon Börger, Gerhard Jäger, Michael M. Richter