Processing Information from a Set of Sources

Envoyer le lien

Article

    • Pages : 165 à 186
    •  
    •  
    • ISBN : 978-1-4020-9083-7
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 02-11-2015

    Résumé

    Anglais

    Introduction; – The Framework; – Existential Strategy for Standard Structures; – The Universal Strategy; – Proof Systems for the Existential Strategy; – Future Research.