Conference Proceedings

Non-triviality done proof-theoretically

R French, S Standefer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Published : 2017