A Logically Saturated Extension of λμ¯ μ

Autor:	Mamane, L.E., Geuvers, J.H., McKinna, J.H., Carette, J., Dixon, L., Coen, Claudio Sacerdoti, Watt, Stephen M.
Přispěvatelé:	Carette, J., Dixon, L., Coen, Claudio Sacerdoti, Watt, Stephen M.
Rok vydání:	2009
Předmět:	Data Science
Zdroj:	Carette, J.; Dixon, L.; Coen, Claudio Sacerdoti (ed.), Proceedings of 8th International Conference (MKM2009), 405-421. Berlin / Heidelberg : Springer STARTPAGE=405;ENDPAGE=421;ISSN=0302-9743;TITLE=Carette, J.; Dixon, L.; Coen, Claudio Sacerdoti (ed.), Proceedings of 8th International Conference (MKM2009) Carette, J.; Dixon, L.; Coen, Claudio Sacerdoti (ed.), Proceedings of 8th International Conference (MKM2009), pp. 405-421
ISSN:	0302-9743
Popis:	Item does not contain fulltext Proceedings of 8th International Conference, 16th Symposium, Calculemus 2009 CICM '09 on Intelligent Computer Mathematics, 06 juli 2009
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::324705b3ae23a64b8d2cafafc1a23d48 https://hdl.handle.net/2066/76118 Zobrazit plný text záznamu