Baral, Chitta
[HerausgeberIn];
Greco, Gianluigi
[Sonstige Person, Familie und Körperschaft];
Leone, Nicola
[Sonstige Person, Familie und Körperschaft];
Terracina, Giorgio
[Sonstige Person, Familie und Körperschaft]
;
LPNMR 8 2005 Diamante, Calabria
Baral, Chitta
[HerausgeberIn];
Brewka, Gerhard
[Sonstige Person, Familie und Körperschaft];
Schlipf, John
[Sonstige Person, Familie und Körperschaft]
;
LPNMR 9 2007 Tempe, Ariz
Cervesato, Iliano
[HerausgeberIn];
Veith, Helmut
[Sonstige Person, Familie und Körperschaft];
Voronkov, Andrei
[Sonstige Person, Familie und Körperschaft]
;
LPAR 15 2008 Doha
Dix, Jürgen
[VerfasserIn]
;
Pereira, Luís Moniz
[Sonstige Person, Familie und Körperschaft];
Przymusinski, Teodor C.
[Sonstige Person, Familie und Körperschaft]