نتایج جستجو برای: cytotoxic t lymphocytes

تعداد نتایج: 773703  

1999
Jeffrey B. Ulmer Margaret A. Liu Tong-Ming Fu Liming Guan Arthur Friedman Timothy L. Schofield John J. Donnelly

2006
Hisao Tajiri Susumu Kobayashi Katsuhiko Yanaga Kiyotaka Fujise Hidejiro Kawahara Michiaki Watanabe Seiya Yoshida Makoto Mitsunaga Satoru Yanagisawa Yoichi Toyama Shigeo Koido Eiichi Hara Sadamu Homma Akira Torii

2001
Smita K. Nair Michael S. Ballo Eli Gilboa Z. Wu Philipp Dahm Scott K. Pruitt David Boczkowski Axel Heiser Margaret A. Maurice Donna R. Yancey Ning Z. Wu Johannes Vieweg

2006
Xia Jin Caroline G. P. Roberts Douglas F. Nixon Yunzhen Cao David D. Ho Bruce D. Walker Mark Muldoon Bette T. M. Korber Richard A. Koup

2005
Søren Mouritsen Lene Sonderbye Dana R. Leach Jørgen Rygaard Lucilla Steinaa Peter Birk Rasmussen Anne Marie Peter Birk Anne Marie Wegener Anand M. Gautam

2013
Gilles Dowek Ying Jiang

We introduce a notion of proof for CTL with respect to a given finite model and show some advantages of using such a notion. This also suggests to define a slight extension of CTL, called SCTL, where predicates can have an arbitrary arity.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید