Inducing Theorem provers from Proofs Documento

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Ver todos
•  

Visão geral

orientado por

• Mark Tarver

tipo

• doctoral thesis

data de publicação

• 1998-01-01

Pesquisas

áreas de investigação

• Lógicas e Semântica de Programas
• Matemática Simbólica
• Software Básico

palavras-chave

• linguagem computacional
• lógica computacional

Identidade

identificador BrCris

• 7690281bac17e1dcb22577d085d1e917