International Conference on Logic Programming, Palamidessi, Catuscia
Springer
|
International Conference on Logic Programming, Gabbrielli, Maurizio, Gupta, G., 1963-
Springer
|
International Conference on Logic Programming, Stuckey, Peter J.
Springer
|
LPAR, Ganzinger, Harald, 1950-, McAllester, David A., Voronkov, A. (Andreĭ), 1959-
Springer-Verlag
|
LPAR, Nieuwenhuis, Robert, Voronkov, A. (Andreĭ), 1959-
Springer
|
LPAR, Pfenning, Frank
Springer-Verlag
|
International Conference on Logic Programming, Etalle, Sandro, Truszczyński, Mirosław
Springer
|
LPAR, Voronkov, A. (Andreĭ), 1959-
Springer-Verlag
|
International Conference on Logic Programming, Demoen, Bart, Lifschitz, Vladimir
Springer
|
International Workshop on Logic Program Synthesis and Transformation, Pettorossi, A. (Alberto), 1947-
Springer
|
LPAR, Parigot, Michel, Voronkov, A. (Andreĭ), 1959-
Springer-Verlag
|
LPAR, Voronkov, A. (Andreĭ), 1959-
Springer-Verlag
|