automated . reasoning . analytic . tableaux . related . methods . lecture . notes . computer . science . artificial . intelligence . international . conference . tableaux' . oisterwijk . netherlands . may .
Format
Status
List Price