Learning from multiple proofs : first experiments

Autor:	Kühlwein, D., Urban, J., Fontaine, P.
Přispěvatelé:	Fontaine, P.
Rok vydání:	2012
Předmět:	Data Science GeneralLiterature_REFERENCE(e.g. dictionaries encyclopedias glossaries) EasyChair Proceedings in Computing
Zdroj:	Fontaine, P. (ed.), PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning June 30 & July 1, 2012 A liated with the 6th International Joint Conference on Automated Reasoning (IJCAR 201), Manchester, 82-94. [S.l.] : [S.n.] STARTPAGE=82;ENDPAGE=94;TITLE=Fontaine, P. (ed.), PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning June 30 & July 1, 2012 A liated with the 6th International Joint Conference on Automated Reasoning (IJCAR 201), Manchester Fontaine, P. (ed.), PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning June 30 & July 1, 2012 A liated with the 6th International Joint Conference on Automated Reasoning (IJCAR 201), Manchester, pp. 82-94
Popis:	Contains fulltext : 103475.pdf (Publisher’s version ) (Open Access) PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning June 30 & July 1, 2012 A liated with the 6th International Joint Conference on Automated Reasoning (IJCAR 201), Manchester
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5a906fe8b537fccbdea3038945a232e5 http://hdl.handle.net/2066/103475 Zobrazit plný text záznamu