Automated Reasoning II
| Resumo |
Resolution over FOPL |
|---|---|
| Formato |
application/vnd.ms-powerpoint |
| Identificador |
http://www.edshare.soton.ac.uk/6256/1/8_%2D_Automated_Reasoning.pptx Automated Reasoning II - Nicholas Gibbins Keywords:resolution, automated reasoning |
| Relação |
http://www.edshare.soton.ac.uk/6256/ |
| Tipo |
Resource NonPeerReviewed |
