1 resultado para Stig Claesson
em Department of Computer Science E-Repository - King's College London, Strand, London
Relevância:
Resumo:
This article explains these choices and their place in modern automated deduction.