Sign in to your account or register new one to have full control over your orders, receive bonuses and more.
New customer? Register
Subtotal: 0.00
Total Items In Cart:
This series reviews research contributions in logic programming and automated reasoning and is desinged to stimulate and sustain new, productive lines of investigation into symbolic and algebraic computing techniques as they relate to logic programming and automate reasoning.