Issues of decidability and tractability
Issues of decidability and tractability
Witold Marciszewski
Details
OL Work ID
OL18800076W
Subjects
Decidability (Mathematical logic)
Symbolic and mathematical Logic
Find this book
Open Library