Search Results for e-books

3 Results Found

000MAIN

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings

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

http://dx.doi.org/10.1007/978-3-540-73099-6

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Automated Deduction -- CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

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

http://dx.doi.org/10.1007/978-3-540-73595-3

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

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

http://dx.doi.org/10.1007/978-3-540-74464-1

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

	{displayName}	{count}
{error}