skip to main content

Sair
Identificação

Idioma:

Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12 2006 : proceedings

MKM 2006 (2006 Wokingham, England) Jonathan M Borwein; William Michael Farmer

Berlin Springer New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4108 ) e outros locais(Acessar)

Enviar para

Título:
Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12 2006 : proceedings
Autor: MKM 2006 (2006 Wokingham, England)
Jonathan M Borwein; William Michael Farmer
Assuntos: RECUPERAÇÃO DA INFORMAÇÃO (CONGRESSOS); INTELIGÊNCIA ARTIFICIAL (CONGRESSOS); Mathematics -- Data processing -- Congresses; Information storage and retrieval systems -- Mathematics -- Congresses; Automatic theorem proving -- Congresses; Math ematiques -- Informatique -- Congr es; Syst emes d'information -- Math ematiques -- Congr es; Th eor emes -- D emonstration automatique -- Congr es; Elektronische Bibliothek; Expertensystem; Information Retrieval; Mathematik; Wissensbasiertes System; Kongress
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 4108; Lecture notes in computer science Lecture notes in artificial intelligence
Editor: Berlin Springer New York
Data de criação/publicação: c2006
Formato: viii, 294 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_FISICO)
Mostrar o que foi encontrado até o momento