Completeness results of inequality proversBLEDSOE, W. W; KUNEN, K; SHOSTAK, R et al.Artificial intelligence. 1985, Vol 27, Num 3, pp 255-288, issn 0004-3702Article

IL-22 : A critical mediator in mucosal host defenseAUJLA, S. J; KOLLS, J. K.Journal of molecular medicine (Berlin. Print). 2009, Vol 87, Num 5, pp 451-454, issn 0946-2716, 4 p.Article

Focus windows: A new technique for proof presentationPIROI, Florina; BUCHBERGER, Bruno.Lecture notes in computer science. 2002, pp 337-341, issn 0302-9743, isbn 3-540-43865-3, 5 p.Conference Paper

Welche Kältemittel in der Zukunft? = Which refrigerant in the future?DOÊRING, R.Die Kälte und Klimatechnik. 1990, Vol 43, Num 9, pp 472-482, issn 0343-2246, 6 p.Article

Termination of {aa → bc, bb → ac, cc → ab}HOFBAUER, Dieter; WALDMANN, Johannes.Information processing letters. 2006, Vol 98, Num 4, pp 156-158, issn 0020-0190, 3 p.Article

Th17 cytokines and mucosal immunityDUBIN, Patricia J; KOLLS, Jay K.Immunological reviews. 2008, Vol 226, pp 160-171, issn 0105-2896, 12 p.Article

Foundations of proof search strategies design in linear logicPerrier, G; Galmiche, D.1994, 13 p.Report

Proof confluent tableau calculiHÄHNLE, R; BECKERT, B.Lecture notes in computer science. 1999, pp 34-35, issn 0302-9743, isbn 3-540-66086-0Conference Paper

IL-22, but Not IL-17, Dominant Environment in Cutaneous T-cell LymphomaMIYAGAKI, Tomomitsu; SUGAYA, Makoto; SUGA, Hiraku et al.Clinical cancer research (Print). 2011, Vol 17, Num 24, pp 7529-7538, issn 1078-0432, 10 p.Article

Installation avec évaporateur à air et condenseur à air = Refrigerating unit with an air evaporator and an air condenserJACQUARD, P.Revue pratique du froid et du conditionnement d'air. 1998, Num 862, pp 49-50, issn 0370-6699Article

Verwendung von KLEA 407A bei überfluteter Verdampfung = Using KLEA 407A with flooding evaporationLOW, B; TAYLOR, A.Die Kälte und Klimatechnik. 1996, Vol 49, Num 8, pp 528-531, issn 0343-2246, 3 p.Article

Austauschstoffe für R22: ein Überblick = Substitutes for R22: an overviewSCHWENNESEN, K.Die Kälte und Klimatechnik. 1994, Vol 47, Num 2, pp 59-62, issn 0343-2246, 3 p.Article

Do we understand the 22-year solar activity cycle ?PATERNO, L.Comptes rendus de l'Académie des sciences. Série IIb, mécanique, physique, astronomie. 1998, Vol 326, Num 6, pp 393-405, issn 1287-4620Article

Options techniques des constructeurs pour l'après-R 22 = Technical options for manufacturers about R 22 substituteMALEK, A; GOTH, Y.Revue pratique du froid et du conditionnement d'air. 1996, Num 833BIS, pp 49-53, issn 0370-6699Article

Le programme des R 407C et R 410B : Climatisation = R 407C and R 410B as substitutes of R 22 : Air conditioningDUBOIS, L; RINALDI, R.Revue pratique du froid et du conditionnement d'air. 1995, Num 818, pp 48-49, issn 0370-6699Article

CondensationJACQUARD, P.Revue pratique du froid et du conditionnement d'air. 1998, Num 854, pp 33-34, issn 0370-6699Article

Ab 1. 1. 2000 Exportverbot für R 22haltige Erzeugnisse : Eine vorausschauende und (leicht) kritische Betrachtung = At the 1st January 2000 exportation prohibition of products holding R22WEISSENBORN, P.Die Kälte und Klimatechnik. 1997, Vol 50, Num 6, pp 416-422, issn 0343-2246, 5 p.Article

Produits de remplacement du R22 : Fluides et caloporteurs = Alternatives for R22 : Fluids and thermal fluidsMARIOTON, C.Revue générale du froid (1935). 1996, Vol 86, Num MAR, pp 27-29, issn 0755-7868Article

Confirmation de la loi fondamentale sur la formation des cycles solaires de 22 ansGNEVYSHEV, M. N; OL, A. I.Solnečnye dannye. 1987, Num 8, pp 90-92, issn 0552-5829Article

Workshop : The role of automated deduction in mathematicsCOLTON, S; SORGE, V; MARTIN, U et al.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67664-3, p. 517Conference Paper

A mechanical proof of the Church-Rosser theoremSHANKAR, N.Journal of the Association for Computing Machinery. 1988, Vol 35, Num 3, pp 475-522, issn 0004-5411Article

Involvement of the IL-22/REG Iα axis in ulcerative colitisSEKIKAWA, Akira; FUKUI, Hirokazu; FUJIMORI, Takahiro et al.Laboratory investigation. 2010, Vol 90, Num 3, pp 496-505, issn 0023-6837, 10 p.Article

Une borne commémorative hiératique = A Hieratic commemorative stoneMEEKS, D.Chronique d'Egypte. 1995, Vol 70, Num 139-40, pp 72-83, issn 0009-6067Article

Beitrag zur Berechnung der isentropen Expansion des Kältemittels R22 = Contribution au calcul de l'expansion isentropique du fluide frigorigène R22 = Contribution to computation of isentropic expansion of R22 refrigerantKOUREMENOS, D. A; KAKATSIOS, X. K.Klima, Kälte, Heizung. 1985, Vol 13, Num 9, issn 0172-1984, 351Article

The mummy of Shoshenq I re-discovered?LEILAND SAGRILLO, Troy.Göttinger Miszellen. 2005, Num 205, pp 95-102, issn 0344-385X, 8 p.Article