Search Results for Kohlhase, Michael.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

2 Results Found

00MAIN

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium

Kerber, Manfred

Author

Kerber, Manfred, Kohlhase, Michael

Format:

Call Number

QA155.7.E4 C35 2001

Publisher

A. K. Peters,

Publication Date

2001

ISBN

9781568811451

Available:
Holds:
Copies:

Cover image for KI 2006: Advances in Artificial Intelligence 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006: Proceedings

KI 2006: Advances in Artificial Intelligence 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006: Proceedings

German Conference on Artificial Intelligence (29th : 2006 : Bremen, Germany)

Author

German Conference on Artificial Intelligence (29th : 2006 : Bremen, Germany), Freksa, Christian, Kohlhase, Michael., Schill, Kerstin, SpringerLink (Online service)

Format:

Call Number

EB 001227

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540699125

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

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

Available:
Holds:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

	{displayName}	{count}
{error}