نتایج جستجو برای: t lymphocytes
تعداد نتایج: 736808 فیلتر نتایج به سال:
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
2011
Gregory F. Burton
Xueyuan Zhou
Leland Shapiro
Gilbert Fellingham
Barry M. Willardson
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
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.
2007
Kimberly A. Schoenly
David B. Weiner
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید