by J. Zwiers
No reviews yet. Be the first!
Logic for programming artificial intelli...
Logic Programming
Logic for computer science
Automated deduction
Certified Programming with Dependent Typ...
Logic for Programming, Artificial Intell...