Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /
PSZJBL
| Main Authors: | , , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg,
2007
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-540-74621-8 |
| _version_ | 1826442490906935296 |
|---|---|
| author | FroCoS 2007 (2007 : Liverpool, England) Konev, Boris Wolter, Frank. SpringerLink (Online service) |
| author_facet | FroCoS 2007 (2007 : Liverpool, England) Konev, Boris Wolter, Frank. SpringerLink (Online service) |
| author_sort | FroCoS 2007 (2007 : Liverpool, England) |
| collection | OCEAN |
| description | PSZJBL |
| first_indexed | 2024-03-05T09:59:36Z |
| format | |
| id | KOHA-OAI-TEST:429997 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T09:59:36Z |
| publishDate | 2007 |
| publisher | Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4299972020-12-19T17:15:22ZFrontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / FroCoS 2007 (2007 : Liverpool, England) Konev, Boris Wolter, Frank. SpringerLink (Online service) e-books Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg,2007.engPSZJBLLogic, Symbolic and mathematicalComputer scienceSpringer e-bookshttp://dx.doi.org/10.1007/978-3-540-74621-8URN:ISBN:9783540746218 (electronic bk.)Remote access restricted to users with a valid UTM ID via VPN |
| spellingShingle | Logic, Symbolic and mathematical Computer science FroCoS 2007 (2007 : Liverpool, England) Konev, Boris Wolter, Frank. SpringerLink (Online service) Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / |
| title | Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / |
| title_full | Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / |
| title_fullStr | Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / |
| title_full_unstemmed | Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / |
| title_short | Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / |
| title_sort | frontiers of combining systems electronic resource 6th international symposium frocos 2007 liverpool uk september 10 12 2007 proceedings |
| topic | Logic, Symbolic and mathematical Computer science |
| url | http://dx.doi.org/10.1007/978-3-540-74621-8 |
| work_keys_str_mv | AT frocos20072007liverpoolengland frontiersofcombiningsystemselectronicresource6thinternationalsymposiumfrocos2007liverpoolukseptember10122007proceedings AT konevboris frontiersofcombiningsystemselectronicresource6thinternationalsymposiumfrocos2007liverpoolukseptember10122007proceedings AT wolterfrank frontiersofcombiningsystemselectronicresource6thinternationalsymposiumfrocos2007liverpoolukseptember10122007proceedings AT springerlinkonlineservice frontiersofcombiningsystemselectronicresource6thinternationalsymposiumfrocos2007liverpoolukseptember10122007proceedings |