Gabbay, Dov M., Ohlbach, Hans Jürgen., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Pfenning, Frank, SpringerLink (Online service)
Springer-Verlag
|
Gabbay, Dov M., Ohlbach, Hans Jürgen, SpringerLink (Online service)
Springer-Verlag
|
Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Wright, Joakim, Grundy, Jim, Harrison, John, SpringerLink (Online …
Springer-Verlag
|
Marek, V. Wiktor, Nerode, Anil, Truszczyński, M., SpringerLink (Online service)
Springer-Verlag
|
Kleine Büning, Hans, SpringerLink (Online service)
Springer-Verlag
|
McRobbie, M. A., Slaney, J. K., SpringerLink (Online service)
Springer-Verlag
|
Kapur, Deepak, SpringerLink (Online service)
Springer-Verlag
|
Voronkov, Andrei, SpringerLink (Online service)
Springer-Verlag
|
Bundy, Alan, SpringerLink (Online service)
Springer-Verlag
|
Voronkov, Andrei, SpringerLink (Online service)
Springer-Verlag
|
Baumgartner, Peter, Hähnle, Reiner, Possega, Joachim, SpringerLink (Online service)
Springer-Verlag
|