Bibel, W., 1938-, Schmitt, P. H. (Peter H.), 1948-
Kluwer Academic
|
Rassias, Themistocles M., Pardalos, Panos M., SpringerLink (Online service)
Springer International Publishing : Imprint: Springer
|
Schumann, Johann M., Loveland, Donald W., 1934-
Springer
|
Boyer, Robert S., Moore, J. Strother, 1947-
Academic Press
|
Robinson, J. A. (John Alan), Lassez, Jean-Louis, Plotkin, G. (Gordon), 1946-
MIT Press
|
Mamdani, E. H., Gaines, Brian R.
Academic Press
|
Special Session on Automatic Theorem Proving, Bledsoe, W. W., Loveland, Donald W., American Mathematical Society.
American Mathematical Society
|
Mayr, Ernst W., Prömel, H. J., Steger, Angelika
Springer
|
McCune, W. (William), Padmanabhan, R. (Ranganathan), 1938-
Springer
|
Pardalos, Panos M., Rassias, Themistocles M., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Williams, James G.
Springer-Verlag
|
Robinson, Alan, Voronkov, A. (Andreĭ), 1959-
Elsevier, The MIT Press
|