Categoricity of computable infinitary theories
- 作者W. Calvert; S. S. Goncharov; J. F. Knight; Jessica Millar
- 卷第48卷
- 期第1期
- 印刷ISSN0933-5846
- 电子ISSN1432-0665
- 文件大小218.70KB
- 发表时间2009-02
- DOI10.1007/s00153-008-0117-z
- 页码25-38
[ACM Press The Annual Symposium - Melbourne, VIC, Australia (2018.10.28-2018.10.31)] The Annual Symposium on Computer-Human Interaction in Play Extended Abstracts - CHI PLAY '18 - EntanglionWeisz, Justin D.; Ashoori, Maryam; Ashktorab, Zahra · 2018
[ACM Press The Annual Symposium - Melbourne, VIC, Australia (2018.10.28-2018.10.31)] The Annual Symposium on Computer-Human Interaction in Play Extended Abstracts - CHI PLAY '18 - GulliVRKrekhov, Andrey; Cmentowski, Sebastian; Emmerich, Katharina; Masuch, Maic; Krüger, Jens · 2018
[ACM Press The Annual Symposium - Melbourne, VIC, Australia (2018.10.28-2018.10.31)] The Annual Symposium on Computer-Human Interaction in Play Extended Abstracts - CHI PLAY '18 - AR FighterByrne, Richard; Marshall, Joe; Mueller, Florian Floyd · 2018
[ACM Press The Annual Symposium - Melbourne, VIC, Australia (2018.10.28-2018.10.31)] The Annual Symposium on Computer-Human Interaction in Play Extended Abstracts - CHI PLAY '18 - VRBoxFröhlich, Thomas; Alexandrovsky, Dmitry; Stabbert, Timo; Döring, Tanja; Malaka, Rainer · 2018
[ACM Press The Annual Symposium - Melbourne, VIC, Australia (2018.10.28-2018.10.31)] The Annual Symposium on Computer-Human Interaction in Play Extended Abstracts - CHI PLAY '18 - Sex, Lies and VideogamesFerguson, Christopher J. · 2018
[ACM Press The Annual Symposium - Melbourne, VIC, Australia (2018.10.28-2018.10.31)] The Annual Symposium on Computer-Human Interaction in Play Extended Abstracts - CHI PLAY '18 - Designing for FriendshipDepping, Ansgar E.; Johanson, Colby; Mandryk, Regan L. · 2018
[ACM Press The Annual Symposium - Melbourne, VIC, Australia (2018.10.28-2018.10.31)] The Annual Symposium on Computer-Human Interaction in Play Extended Abstracts - CHI PLAY '18 - Toddler Techie Touch GenerationEllis, Kirsten; Power, Mark; Albrecht, David W. · 2018
[ACM Press The Annual Symposium - Melbourne, VIC, Australia (2018.10.28-2018.10.31)] The Annual Symposium on Computer-Human Interaction in Play Extended Abstracts - CHI PLAY '18 - Arm-A-DineMehta, Yash Dhanpal; Khot, Rohit Ashok; Patibanda, Rakesh; Mueller, Florian 'Floyd' · 2018