MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
6
Show details for Gabbay, Dov M.Gabbay, Dov M.
5
Hide details for Gabbay, Dov M. (ed.)Gabbay, Dov M. (ed.)
1997Qualitative and Quantitative Practical ReasoningBook
1994Matthews, SeánA Theory and its Metatheory in $FS_0$
In: What is a logical system?, 329-354		Part of a Book
1994Temporal Logic: Proceedings of the 1st International Conference on Temporal LogicProceedings
1993Eisinger, Norbert
Ohlbach, Hans Jürgen		Deduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271		Proceedings Article
1993Plaisted, David A.Equational Reasoning and Term Rewriting Systems
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 273-364		Proceedings Article
4
Show details for Gabbay, Dov (ed.)Gabbay, Dov (ed.)
2
Show details for Gaede, BerndGaede, Bernd
1
Show details for Gaglio, S. (ed.)Gaglio, S. (ed.)
1
Show details for Gaillourdet, Jean-MarieGaillourdet, Jean-Marie
1
Show details for Galmiche, DidierGalmiche, Didier
1
Show details for Galmiche, Didier (ed.)Galmiche, Didier (ed.)
1
Show details for Gamkrelidze, AlexanderGamkrelidze, Alexander
1
Show details for Ganzha, Victor G. (ed.)Ganzha, Victor G. (ed.)
58
Show details for Ganzinger, HaraldGanzinger, Harald
16
Show details for Ganzinger, Harald (ed.)Ganzinger, Harald (ed.)
1
Show details for Gao, X-S. (ed.)Gao, X-S. (ed.)
1
Show details for Gebhardt, J. (ed.)Gebhardt, J. (ed.)
1
Show details for Geffner, HectorGeffner, Hector
1
Show details for Geiger, Dan (ed.)Geiger, Dan (ed.)
5
Show details for Georgieva, LiliaGeorgieva, Lilia
1
Show details for Gerards, Bert (ed.)Gerards, Bert (ed.)
1
Show details for Gerber, ChristianGerber, Christian
2
Show details for Geske, Ulrich (ed.)Geske, Ulrich (ed.)
1
Show details for Ginzburg, Jonathan (ed.)Ginzburg, Jonathan (ed.)
1
Show details for Giua, Alessandro (ed.)Giua, Alessandro (ed.)
1
Show details for Giunchiglia, Enrico (ed.)Giunchiglia, Enrico (ed.)
1
Show details for Giunchiglia, FaustoGiunchiglia, Fausto
1
Show details for Giunchiglia, Fausto (ed.)Giunchiglia, Fausto (ed.)

Next Page