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.), Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings, pp. 405-421
ISSN
DOI
Annotation
Calculemus 2009; MKM 2009, 06 juli 2009
Publication type
Article in monograph or in proceedings
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to 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.