MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
2
Hide details for MacNish, Craig (ed.)MacNish, Craig (ed.)
1994Nonnengart, AndreasHow to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378		Proceedings Article
1994Dimopoulos, YannisThe Computational Value of Joint Consistency
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65		Proceedings Article
6
Show details for Madden, PeterMadden, Peter
2
Show details for Magirou, VangelisMagirou, Vangelis
1
Show details for Maher, Michael (ed.)Maher, Michael (ed.)
1
Show details for Maibaum, T. S. E. (ed.)Maibaum, T. S. E. (ed.)
1
Show details for Maibaum, T.S.E. (ed.)Maibaum, T.S.E. (ed.)
10
Show details for Maier, PatrickMaier, Patrick
2
Show details for Majumdar, RupakMajumdar, Rupak
2
Show details for Makinson, DavidMakinson, David
2
Show details for Malkis, AlexanderMalkis, Alexander
1
Show details for Maluszynski, Jan (ed.)Maluszynski, Jan (ed.)
1
Show details for Mancarella, P. (ed.)Mancarella, P. (ed.)
2
Show details for Mannila, HeikkiMannila, Heikki
1
Show details for Mantel, Heiko (ed.)Mantel, Heiko (ed.)
1
Show details for Marché, Claude (ed.)Marché, Claude (ed.)
2
Show details for Marcinkowski, Jerzy (ed.)Marcinkowski, Jerzy (ed.)
1
Show details for Marek, V. W. (ed.)Marek, V. W. (ed.)
2
Show details for Margaria, Tiziana (ed.)Margaria, Tiziana (ed.)
4
Show details for Martelli, MaurizioMartelli, Maurizio
1
Show details for Martin, David (ed.)Martin, David (ed.)
2
Show details for Mascardi, VivianaMascardi, Viviana
22
Show details for Matthews, SeanMatthews, Sean
1
Show details for Maus, StefanMaus, Stefan
1
Show details for Mayr, Ernst W. (ed.)Mayr, Ernst W. (ed.)
3
Show details for McAllester, DavidMcAllester, David
4
Show details for McAllester, David (ed.)McAllester, David (ed.)
3
Show details for McCluskey, Lee (ed.)McCluskey, Lee (ed.)
2
Show details for McCune, William (ed.)McCune, William (ed.)

Next Page