Siekmann, Jörg H., SpringerLink (Online service)
Springer-Verlag
|
Pfenning, Frank, SpringerLink (Online service)
Springer-Verlag
|
Stickel, Mark E., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
International Conference on Automated Deduction, Stickel, Mark E., 1947-
Springer-Verlag
|
Bundy, Alan, SpringerLink (Online service)
Springer-Verlag
|
Ganzinger, Harald, SpringerLink (Online service)
Springer-Verlag
|
McRobbie, M. A., Slaney, J. K., SpringerLink (Online service)
Springer-Verlag
|
Hsiang, Jieh, SpringerLink (Online service)
Springer-Verlag
|
Kapur, Deepak, SpringerLink (Online service)
Springer-Verlag
|
Voronkov, Andrei, SpringerLink (Online service)
Springer-Verlag
|
Voronkov, Andrei, SpringerLink (Online service)
Springer-Verlag
|
Kastens, Uwe, Pfahler, Peter, SpringerLink (Online service)
Springer-Verlag
|