作 者:James Chapman ;Lawrence Schembri ;Stéphane Lavoie
出 处:Financial System Review. 2011 ;.
出 版 社:Bank of Canada
文 章 ID:89469314
作 者:Thorsten Altenkirch ;James Chapman ;Tarmo Uustalu
出 处:Journal of Formalized Reasoning. 2014 ;7(1):1-43.doi:10.6092/issn.1972-5787/4389
出 版 社:Alma Mater Studiorum - University of Bologna
文 章 ID:100489222
作 者:RICHARD HARKER ;JAMES CHAPMAN
出 处:NZ Journal of Teachers' Work. 2006 ;3(01).
出 版 社:Massey University
文 章 ID:46604550
作 者:Aaron T. Lada ;Matthew Davis ;Carol Kent 等
出 处:JLR Papers In Press. 2004 ;45(2):378-386.doi:10.1194/jlr.D300037-JLR200
出 版 社:American Society for Biochemistry and Molecular Biology
文 章 ID:192689923
作 者:James Chapman ;Tarmo Uustalu ;Niccolò Veltri
出 处:Journal of Formalized Reasoning. 2017 ;10(1):1-36.doi:10.6092/issn.1972-5787/6237
出 版 社:Alma Mater Studiorum - University of Bologna
文 章 ID:191691463
作 者:Vi Khanh Truong ;Madeleine Dupont ;Aaron Elbourne 等
出 处:Foods. 2019 ;8(5):164-173.doi:10.3390/foods8050164
出 版 社:MDPI Publishing
文 章 ID:257044448
作 者:James Chapman ;Rod Garratt ;Scott Hendry 等
出 处:Financial System Review. 2017 ;.
出 版 社:Bank of Canada
文 章 ID:216807232
作 者:Danel Ahman ;James Chapman ;Tarmo Uustalu
出 处:Logical Methods in Computer Science. 2014 ;10(3):1.doi:10.2168/LMCS-10(3:14)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264692131
作 者:Thosten Altenkirch ;James Chapman ;Tarmo Uustalu
出 处:Logical Methods in Computer Science. 2015 ;11(1):1.doi:10.2168/LMCS-11(1:3)2015
出 版 社:Technical University of Braunschweig
文 章 ID:264692267
作 者:Seyed Hossein Haeri ;Peter Thompson ;Neil Davies 等
出 处:Computers. 2022 ;11(3):45.doi:10.3390/computers11030045
出 版 社:MDPI Publishing
文 章 ID:1037304256