A Logically Saturated Extension of λμ¯ μ

Find Full text
Publication year
2009
Author(s)
Mamane, L.E.
Geuvers, J.H.
McKinna, J.H.
Publisher
Berlin / Heidelberg : Springer
ISBN
9783642026133
In
Lecture Notes in Computer Science, (2009)Carette, J.; Dixon, L.; Coen, Claudio Sacerdoti (ed.), Proceedings of 8th International Conference (MKM2009), pp. 405-421
ISSN
Annotation
Proceedings of 8th International Conference, 16th Symposium, Calculemus 2009 CICM '09 on Intelligent Computer Mathematics, 06 juli 2009
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/76118   https://hdl.handle.net/2066/76118
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.