McRobbie, Michael A., Slaney, J.K., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Voronkov, Andrei, SpringerLink (Online service)
Springer-Verlag
|
International Conference on Automated Deduction, McRobbie, M. A. (Michael A.), Slaney, John K.
Springer
|
Siekmann, Jörg H., SpringerLink (Online service)
Springer-Verlag
|
Kapur, Deepak, SpringerLink (Online service)
Springer-Verlag
|
Pfenning, Frank, SpringerLink (Online service)
Springer-Verlag
|
Bundy, Alan, SpringerLink (Online service)
Springer-Verlag
|
Clarke, Edmund M., Kurshan, Robert P., SpringerLink (Online service)
Springer-Verlag
|
Alur, Rajeev, Henzinger, Thomas A., SpringerLink (Online service)
Springer-Verlag
|
Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Wright, Joakim, Grundy, Jim, Harrison, John, SpringerLink (Online …
Springer-Verlag
|
Ganzinger, Harald, SpringerLink (Online service)
Springer-Verlag
|
Stickel, Mark E., SpringerLink (Online service)
Springer-Verlag
|