Bibel, Wolfgang., Kowalski, R., SpringerLink (Online service)
|
International Conference on Automated Deduction, McRobbie, M. A. (Michael A.), Slaney, John K.
Springer
|
Bibel
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
International Conference on Automated Deduction, Baader, Franz
Springer
|
International Conference on Automated Deduction, Bundy, Alan
Springer-Verlag
|
International Conference on Automated Deduction, Voronkov, A. (Andreĭ), 1959-
Springer
|
International Conference on Automated Deduction, Kirchner, Claude, Kirchner, Hélène
Springer
|
International Conference on Automated Deduction, Shostak, Robert, 1931-
Springer-Verlag
|
International Conference on Automated Deduction, Kapur, Deepak
Springer-Verlag
|
International Conference on Automated Deduction, Stickel, Mark E., 1947-
Springer-Verlag
|
International Conference on Automated Deduction, McCune, W. (William)
Springer
|
International Conference on Automated Deduction, McAllester, David A.
Springer
|