by
TABLEAUX 2007 (2007 : Aix en Provence, France)
Author
TABLEAUX 2007 (2007 : Aix en Provence, France), Olivetti, Nicola., SpringerLink (Online service)
Format:
Call Number
EB 001258
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540730996
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
International Conference on Automated Deduction (21st : 2007 : Bremen, Germany)
Author
International Conference on Automated Deduction (21st : 2007 : Bremen, Germany), Pfenning, Frank, SpringerLink (Online service)
Format:
Call Number
EB 001290
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540735953
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
TYPES `98 (2006 : Nottingham, UK)
Author
TYPES `98 (2006 : Nottingham, UK), Altenkirch, Thorsten, McBride, Conor, SpringerLink (Online service)
Format:
Call Number
EB 001321
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540744641
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
Select an Action