Extensions of Classical Logicby Robert Bull; Krister Segerberg; D. Gabbay; F. Guenthner
- 期刊名称The Journal of Symbolic Logic
- 作者Review by: Steven T. Kuhn
- 卷第54卷
- 期第4期
- 印刷ISSN0022-4812
- 文件大小279.48KB
- 发表时间1989-12
- DOI10.2307/2274827
- 页码1472-1477
[ACM Press ACM SIGGRAPH 2017 Talks - Los Angeles, California (2017.07.30-2017.08.03)] ACM SIGGRAPH 2017 Talks on - SIGGRAPH '17 - FurCollideSomasundaram, Arunachalam · 2017
[ACM Press ACM SIGGRAPH 2017 Talks - Los Angeles, California (2017.07.30-2017.08.03)] ACM SIGGRAPH 2017 Talks on - SIGGRAPH '17 - PackITvan der Spuy, Melt · 2017
[ACM Press ACM SIGGRAPH 2017 Talks - Los Angeles, California (2017.07.30-2017.08.03)] ACM SIGGRAPH 2017 Talks on - SIGGRAPH '17 - MoanaByun, Dong Joo; Stomakhin, Alexey · 2017
[ACM Press ACM SIGGRAPH 2017 Talks - Los Angeles, California (2017.07.30-2017.08.03)] ACM SIGGRAPH 2017 Talks on - SIGGRAPH '17 - MoanaFrost, Ben; Stomakhin, Alexey; Narita, Hiroaki · 2017
[ACM Press ACM SIGGRAPH 2017 Talks - Los Angeles, California (2017.07.30-2017.08.03)] ACM SIGGRAPH 2017 Talks on - SIGGRAPH '17 - MoanaBryant, Marc; Coony, Ian; Garcia, Jonathan · 2017
[ACM Press ACM SIGGRAPH 2017 Talks - Los Angeles, California (2017.07.30-2017.08.03)] ACM SIGGRAPH 2017 Talks on - SIGGRAPH '17 - MasqueradeMoser, Lucio; Hendler, Darren; Roble, Doug · 2017
[ACM Press ACM SIGGRAPH 2017 Talks - Los Angeles, California (2017.07.30-2017.08.03)] ACM SIGGRAPH 2017 Talks on - SIGGRAPH '17 - Dear angelicaOculus, · 2017
[ACM Press ACM SIGGRAPH 2017 Talks - Los Angeles, California (2017.07.30-2017.08.03)] ACM SIGGRAPH 2017 Talks on - SIGGRAPH '17 - Programmable buildingsZarzycki, Andrzej; Decker, Martina · 2017