Search Results for SpringerLink (Online service)

3 Results Found

000MAIN

Cover image for Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers.

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers.

ERCIM International Workshop on Constraint Solving and Constraint Logic Programming (11th : 2006 : Caparica, Portugal)

Author

ERCIM International Workshop on Constraint Solving and Constraint Logic Programming (11th : 2006 : Caparica, Portugal), Azevedo, Francisco, SpringerLink (Online service)

Format:

Call Number

EB 001297

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540738176

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

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

Available:
Holds:
Copies:

Cover image for Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007: Proceedings

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007: Proceedings

TPHOLs 2007 (2007 : Kaiserslautern, Germany)

Author

TPHOLs 2007 (2007 : Kaiserslautern, Germany), Schneider, Klaus, Brandt, Jens, SpringerLink (Online service)

Format:

Call Number

EB 001330

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540745914

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

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

Available:
Holds:
Copies:

Cover image for Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

ILP 2006 (2006 : Santiago de Compostela, Spain)

Author

ILP 2006 (2006 : Santiago de Compostela, Spain), Muggleton, Stephen, Otero, Ramon, Tamaddoni-Nezhad, Alireza, SpringerLink (Online service)

Format:

Call Number

EB 001298

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540738473

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

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

Available:
Holds:
Copies:

	{displayName}	{count}
{error}