International Conference on Logic Programming, Codognet, Philippe
Springer
|
LPAR, Voronkov, A. (Andreĭ), 1959-
Springer-Verlag
|
International Conference on Logic Programming, Palamidessi, Catuscia
Springer
|
LPAR, Pfenning, Frank
Springer-Verlag
|
International Conference on Logic Programming, Stuckey, Peter J.
Springer
|
LPAR, Ganzinger, Harald, 1950-, McAllester, David A., Voronkov, A. (Andreĭ), 1959-
Springer-Verlag
|
International Conference on Logic Programming, Etalle, Sandro, Truszczyński, Mirosław
Springer
|
LPAR, Nieuwenhuis, Robert, Voronkov, A. (Andreĭ), 1959-
Springer
|
International Conference on Logic Programming, Demoen, Bart, Lifschitz, Vladimir
Springer
|
LPAR, Parigot, Michel, Voronkov, A. (Andreĭ), 1959-
Springer-Verlag
|
LPAR, Voronkov, A. (Andreĭ), 1959-
Springer-Verlag
|
LPNMR, Baral, Chitta
Springer
|