Cargando…
A many-sorted calculus based on resolution and paramodulation
A Many-Sorted Calculus Based on Resolution and Paramodulation emphasizes the utilization of advantages and concepts of many-sorted logic for resolution and paramodulation based automated theorem proving.This book considers some first-order calculus that defines how theorems from given hypotheses by...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Morgan Kaufmann
1987
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2031772 |