Co-promotor Dr, P. Bijma, Dr. R. Bozzi, Promotiecommissie Dr. N. Gengler, ...
Institutt for husdyr og akvakulturvitenskap- Norway Dit onderzoek is uitgevoerd binnen de onderzoekschool WIAS. Breeding for longevity in Italian Chianina cattle
Prof. dr. ir. E.M.A. Smaling Hoogleraar in de Bodemkunde (2008)
Odiaba Samaké, Co-promotor Dr, T. J. Stomph, Samenstelling Promotiecommissie, Odiaba Samaké
Integrated crop management strategies in Sahelian land use systems to improve agricultural productivity and sustainability: A case study in Mali
Promotor Prof, Co-promotor Dr, Meteorologie En Luchtkwaliteit, Promotiecommissie Prof, ...
ter verkrijging van de graad van doctor op gezag van de rector magnificus van Wageningen Universiteit, Prof. dr. M.J. Kropff, in het openbaar te verdedigen
Promotoren Prof, W. M. Vos, Hoogleraar Microbiologie, Co-promotor Dr, H. Smidt, ...
Molecular analysis of halorespiration in Desulfitobacterium spp. − catalysis and transcriptional regulation Proefschrift ter verkrijging van de graad van doctor op gezag van de rector magnificus...
3DM: From Data to Medicine (2008)
Henk-jan Joosten, Promotor Prof, J. A. Berg, Hoogleraar Genomics, Co-promotor Dr, P. J. Schaap, ...
Dr. R. van Schaik
Onderzoeksinstituut voor Taal en Spraak Universiteit Utrecht (2008)
Henricus Marinus, Franciscus Maria Aarts, Co-promotor Dr, ...
For further information about ILLC-publications, please contact
Mapping Inferences Constraint Propagation and Diamond Satisfaction (2007)
Academisch Proefschrift, Rosella Gennari, Co-promotor Dr, M. Rijke
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
Modal Logic and non-well-founded Set Theory: translation, bisimulation, interpolation. (1998)
Giovanna D'Agostino, Co-promotor Prof. Dr, A. Policriti
Contents Acknowledgments vii 1 Introduction. 1 2 General preliminaries. 7 2.1 Logics. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.1.1 Languages and structures. . . . . . . ....
Computations in Propositional Logic (1996)
Academisch Proefschrift, Alex Hendriks, Promotor Prof. Dr, Co-promotor Dr, ...
c fl 1996 by Lex Hendriks Contents Dankwoord 1 1 General Introduction 3 1.1 Outline of the thesis : : : : : : : : : : : : : : : : : : : : : : : : : : : 7 1.2 General preliminaries : : : : : : : : : :...
Metric and Layered Temporal Logic for Time Granularity (1994)
Academisch Proefschrift, Angelo Montanari, Angelo Montanari, Co-promotor Prof. Dr, A. Policriti
163 viii Acknowledgments When I asked Johan van Benthem about the possibility of visiting ILLC (Institute for Logic, Language and Computation), I was not looking for a PhD position. His proposal of...