نتایج جستجو برای: cytotoxic t lymphocytes
تعداد نتایج: 773703 فیلتر نتایج به سال:
2012
Jooeun Bae
Robert Smith
John Daley
Naoya Mimura
Yu-Tzu Tai
Kenneth C. Anderson
Nikhil C. Munshi
1999
Jeffrey B. Ulmer
Margaret A. Liu
Tong-Ming Fu
Liming Guan
Arthur Friedman
Timothy L. Schofield
John J. Donnelly
2004
Robert F. Siliciano
S. B. Justin Wong
Christopher B. Buck
Xuefei Shen
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
2000
Victor Levitsky
Cheng-Hong Wei
Hideo Yagita
Maria G. Masucci
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
2001
Javier Hernández
Linda A. Sherman
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.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید