Author
Girard, Jean-Yves.
Preferred Shelf Number
QA 9.54 G57 1987- V.1
Format:
Availability
Beytepe Library~1
Copies:
Author
Bimbo, Katalin, 1963- author.
Preferred Shelf Number
ONLINE(356904.1)
Format:
Availability
Online Library~1
Copies:
Author
Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(519146.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number
XX(519161.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(519040.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(518985.1)
Electronic Access
Format:
Availability
Online Library~1
Copies: