Search Results for Logic, Symbolic and mathematical

Cover image for Foundations of software science and computational structures 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings

Foundations of software science and computational structures 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings

FOSSACS 2007 (2007 : Braga, Portugal)

Author

FOSSACS 2007 (2007 : Braga, Portugal), Seidl, Helmut, SpringerLink (Online service)

Format:

Call Number

EB 000709

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540713890

Full Text

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:

Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings

FroCoS 2007 (2007 : Liverpool, England)

Author

FroCoS 2007 (2007 : Liverpool, England), Konev, Boris, Wolter, Frank., SpringerLink (Online service)

Format:

Call Number

EB 001334

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540746218

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

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

Available:
Holds:
Copies:

Symbolic-Numeric Computation

Wang, Dongming

Author

Wang, Dongming, Zhi, Lihong, SpringerLink (Online service)

Format:

Call Number

EB 000464

Publisher

Birkhauser Verlag AG,

Publication Date

2007

ISBN

9783764379841

Full Text

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

Available:
Holds:
Copies:

FOSSACS 2007 (2007 : Braga, Portugal)

Author

FOSSACS 2007 (2007 : Braga, Portugal), Seidl, Helmut, SpringerLink (Online service), ETAPS 2007 (2007 : Braga, Portugal)

Format:

Call Number

EB 000708

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540713890

Full Text

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

Available:
Holds:
Copies:

Handbook of Spatial Logics

Aiello, Marco

Author

Aiello, Marco, Benthem, Johan, Pratt-Hartmann, Ian, SpringerLink (Online service)

Format:

Call Number

EB 000896

Publisher

Springer,

Publication Date

2007

ISBN

9781402055874 9781402055867

Full Text

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

Available:
Holds:
Copies:

Techniques of constructive analysis

Bridges, Douglas S.

Author

Bridges, Douglas S., Vita, Luminita Simona, SpringerLink (Online service)

Format:

Call Number

EB 000056

Publisher

Springer Science+Business Media, LLC,

Publication Date

2006

ISBN

9780387381473

Full Text

Accessible within UTM campus

Available:
Holds:
Copies:

	{displayName}	{count}
{error}