Author
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335196.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Betz, Gregor. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335787.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(330925.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Halpin, Harry. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(331289.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Preferred Shelf Number
ONLINE(331582.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332107.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332934.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334264.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334468.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334494.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334659.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334665.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Select an Action