Logic for Computer Scientists

Uwe Schöning

published: 2008
publisher: Birkhäuser Boston
pages: 179
language: EN
ISBN: 9780817647629

logic programming
logic, symbolic and mathematical

progress

0%