Mostrar
1 - 1
resultats de
1
per cerca '
Mechanics
'
Anar al contingut
El teu compte
Tancar la sessió
Autenticació institucional
Idioma
English
Te Reo Māori
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Paraula clau
Curs
Títol
Títol de la revista
Autor
Matèria
ISBN/ISSN
Signatura
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
Codi de barres
Col·lecció
Explorar alfabèticament: Per títol
Explorar alfabèticament: Per autor
Explorar alfabèticament: Per tema
Explorar alfabèticament: By LC Call Number
Explorar alfabèticament: By Dewey Call Number
Trobar
Avançada
La pàgina es tornarà a carregar quan el filtre s'elimini
Filtres actius:
Matèries:
Eliminar filtre
Data processing
Gènere:
Eliminar filtre
Congresses
Autor:
Eliminar filtre
Kauers, Manuel
La pàgina es tornarà a carregar quan el filtre s'elimini
Veure filtres (3)
Matèries:
Eliminar filtre
Data processing
Gènere:
Eliminar filtre
Congresses
Autor:
Eliminar filtre
Kauers, Manuel
UC Library
Cerca al catàleg de la bibliotec
Resultats de la cerca - Mechanics
Mostrar
1 - 1
resultats de
1
per cerca '
Mechanics
'
Refinar resultats
Resultats per pàgina
10
20
40
60
80
100
Ordenar
Rellevància
Data Descendent
Data Ascendent
Signatura
Autor
Títol
Seleccionar totes les entrades a la pàgina
Correu electrònic
Exportar
Imprimir
Guardar
Selecciona el número de resultat 1
1
Towards
mechanized
mathematical assistants 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings /
Publicat 2007
Localitzat
Carregant...
Signatura
Carregant...
Connect to electronic resource
Electrònic
Actes de congresos
eBook
Afegir a favorits
Guardat en:
Seleccionar totes les entrades a la pàgina
Correu electrònic
Exportar
Imprimir
Guardar
Eines de cerca:
Obtenir subscripció RSS
Enviar per correu electrònic aquesta cerca
Guardar cerca
Back
Refinar resultats
La pàgina es tornarà a carregar quan es seleccioni o exclueixi un filtre.
Format
Actes de congresos
1 results
1
Electrònic
1 results
1
eBook
1 results
1
Any de publicació
Des de:
A:
Matèries
Algebra
1 results
1
Data processing
Knowledge management
1 results
1
Logic, Symbolic and mathematical
1 results
1
Mathematical analysis
1 results
1
Gènere
Congresses
Idioma
English
1 results
1
Autor
Calculemus 2007 Hagenberg im Mühlkreis, Austria
1 results
1
Kauers, Manuel
MKM 2007
1 results
1
SpringerLink (Online service)
1 results
1
Signatura
Q - Ciència
1 results
1
Carregant...