Zobrazeno 1 - 7
of 7
pro vyhledávání: '"McKinna, J.H."'
Publikováno v:
Berardi, Stefano; Liquori, Ugo de (ed.), Types for Proofs International Conference, TYPES 2008 Torino, Italy, 256-271. Berlin / Heidelberg : Springer
STARTPAGE=256;ENDPAGE=271;ISSN=0302-9743;TITLE=Berardi, Stefano; Liquori, Ugo de (ed.), Types for Proofs International Conference, TYPES 2008 Torino, Italy
Berardi, Stefano; Liquori, Ugo de (ed.), Types for Proofs International Conference, TYPES 2008 Torino, Italy, pp. 256-271
STARTPAGE=256;ENDPAGE=271;ISSN=0302-9743;TITLE=Berardi, Stefano; Liquori, Ugo de (ed.), Types for Proofs International Conference, TYPES 2008 Torino, Italy
Berardi, Stefano; Liquori, Ugo de (ed.), Types for Proofs International Conference, TYPES 2008 Torino, Italy, pp. 256-271
Item does not contain fulltext Types for Proofs International Conference, TYPES 2008 Torino, Italy, 26 maart 2008
Autor:
Mamane, L.E., Geuvers, J.H., McKinna, J.H., Carette, J., Dixon, L., Coen, Claudio Sacerdoti, Watt, Stephen M.
Publikováno v:
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
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
Item does not contain fulltext Proceedings of 8th International Conference, 16th Symposium, Calculemus 2009 CICM '09 on Intelligent Computer Mathematics, 06 juli 2009
Autor:
Chapman, Peter, McKinna, J.H., Urban, Christian, Autexier, Serge, Campbell, John, Rubio, Julio, Sorge, Volker, Suzuki, Masakazu, Wiedijk, Freek
Publikováno v:
Autexier, Serge; Campbell, John; Rubio, Julio (ed.), Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28-August 1, 2008. Proceedings, 38-52. Springer
STARTPAGE=38;ENDPAGE=52;ISSN=0302-9743;TITLE=Autexier, Serge; Campbell, John; Rubio, Julio (ed.), Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28-August 1, 2008. Proceedings
STARTPAGE=38;ENDPAGE=52;ISSN=0302-9743;TITLE=Autexier, Serge; Campbell, John; Rubio, Julio (ed.), Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28-August 1, 2008. Proceedings
Publikováno v:
Technical Report ; ICIS--R09002. Nijmegen : Radboud University Nijmegen
Technical Report ; ICIS--R09002
Technical Report ; ICIS--R09002
Contains fulltext : 76119.pdf (author's version ) (Open Access) A Logically Saturated Extension of [`(l)]m[(m)\tilde]λˉμμ˜ 26 p.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::eab82d8ea28b1ae33f21de118aac70e5
https://hdl.handle.net/2066/76119
https://hdl.handle.net/2066/76119
Publikováno v:
Autexier, Serge; Campbell, John; Rubio, Julio (ed.), Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28-August 1, 2008. Proceedings, pp. 38-52
Item does not contain fulltext AISC 2008
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1236::1d89ef6ae3859d698c58382e7c759635
https://repository.ubn.ru.nl/handle/2066/250740
https://repository.ubn.ru.nl/handle/2066/250740
Autor:
Tankink, C.
Publikováno v:
IPA dissertation series ; 2013-16. [S.l.] : [S.n.]
IPA dissertation series ; 2013-16
IPA dissertation series ; 2013-16
Contains fulltext : 119001.pdf (Publisher’s version ) (Open Access) Radboud Universiteit Nijmegen, 17 december 2013 Promotor : Geuvers, J.H. Co-promotor : McKinna, J.H. 109 p.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f2ce30e65639a727ac72c380011dd133
https://hdl.handle.net/2066/119001
https://hdl.handle.net/2066/119001
Autor:
Mamane, L.E.
Publikováno v:
IPA dissertation series ; 2013-07. S.l. : s.n.
IPA dissertation series ; 2013-07
IPA dissertation series ; 2013-07
Contains fulltext : 122866.pdf (Publisher’s version ) (Open Access) Radboud Universiteit Nijmegen, 23 september 2013 Promotor : Geuvers, J.H. Co-promotor : McKinna, J.H. 199 p.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::73554c29a6b44d643d012b708289e341
https://hdl.handle.net/2066/122866
https://hdl.handle.net/2066/122866