Fermüller, C., Leitsch, A., Tammet, Tanel., Zamov, Nail., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Voronkov, A., SpringerLink (Online service)
Springer-Verlag
|
Bürckert, H. -J, SpringerLink (Online service)
Springer-Verlag
|
Kapur, Deepak, SpringerLink (Online service)
Springer-Verlag
|
Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele, SpringerLink (Online service)
Springer-Verlag
|
Schulz, K. U., SpringerLink (Online service)
Springer-Verlag
|
Paulson, Lawrence C., SpringerLink (Online service)
Springer-Verlag
|
Voronkov, Andrei, SpringerLink (Online service)
Springer-Verlag
|
Baumgartner, Peter, Hähnle, Reiner, Possega, Joachim, SpringerLink (Online service)
Springer-Verlag
|
Voronkov, Andrei, SpringerLink (Online service)
Springer-Verlag
|
Pettorossi, A., SpringerLink (Online service)
Springer-Verlag
|
Pfenning, Frank, SpringerLink (Online service)
Springer-Verlag
|