skip to main content
Idioma:
Refinado por: assunto: Automatisches Beweisverfahren remover assunto: Ciência Da Computação (Congressos) remover assunto: Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Frontiers of combining systems 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
Frontiers of combining systems 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Frontiers of combining systems 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings

FroCoS 2005 (2005 Vienna, Austria) Bernhard Gramlich

Berlin Springer New York 2005

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. FroCoS 2005
  2. Gramlich, B

Neste Assunto:

  1. Lógica Simbólica (Congressos)
  2. Computer Science
  3. Logic, Symbolic And Mathematical
  4. Computer Science–Congresses
  5. Engenharia De Programas

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.