Voltar aos Detalhes do Artigo
USING A FIRST-ORDER-BASED LANGUAGE TO AUTOMATICALLY SYNTHESIZE VALID ARGUMENTS OF PROPOSITIONAL CALCULUS
Baixar
Baixar PDF