Some Decidability Results on...
Buy from $38.45
|
Decision Procedures for...
Buy from $34.96
|
Decision Procedures for...
Buy from $17.44
|
Decision Procedures for...
Buy from $17.26
|
Decision Algorithms for Some...
Buy from $14.92
|
Decision Algorithms for Some...
Buy from $53.62
|
Set-Theoretic Reductions of...
Buy from $14.48
|
The Automation of Syllogistic...
Buy from $14.55
|
Decision Procedures for...
Buy from $17.09
|
A Decision Procedure for Set...
Buy from $38.45
|
Decision Procedures for...
Buy from $14.51
|
On the Decidability of...
Buy from $38.45
|
