A mostrar
1 - 4
resultados de
4
para a pesquisa '
'
Ir para o conteúdo
Toggle navigation
VuFind
A sua conta
Sair
Login Institucional
Idioma
English
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
हिंदी
Palavra solta
Título
Autor
Assunto
Área/Cota
ISBN/ISSN
Pesquisar
Avançada
Reset Filters
Formato:
Conference Proceeding
Sugestões de Tópicos:
Mathematics
Autor:
Börger, E. (Egon), 1946-
Reset Filters
Show filters (3)
Formato:
Conference Proceeding
Sugestões de Tópicos:
Mathematics
Autor:
Börger, E. (Egon), 1946-
Resultados da pesquisa
Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Computer science
4
Informatique
4
Logic, Symbolic and mathematical
4
Logica
4
Logique symbolique et mathématique
4
Mathematics
Mathématiques
4
Mais ...
Programmeertalen
4
Congrès
2
Ordinateurs
2
Computer logic
1
Computers
1
Electronic data processing
1
Logica E Semantica De Programacao
1
Logica e semantica de programacao
1
menos ...
A mostrar
1 - 4
resultados de
4
para a pesquisa '
'
, tempo de pesquisa: 0.03seg
Refinar resultados
Ordenar
Relevância
Data Descendente
Data Ascendente
Área
Autor
Título
1
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings /
Publicado em 1991
Área/Cota:
A carregar...
Localização:
A carregar...
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Conference Proceeding
Livro
Adic. favoritos
Na minha lista:
2
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings /
Publicado em 1989
Área/Cota:
A carregar...
Localização:
A carregar...
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Conference Proceeding
Livro
Adic. favoritos
Na minha lista:
3
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings /
Publicado em 1990
Área/Cota:
A carregar...
Localização:
A carregar...
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Conference Proceeding
Livro
Adic. favoritos
Na minha lista:
4
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /
Publicado em 1988
Área/Cota:
A carregar...
Localização:
A carregar...
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Conference Proceeding
Livro
Adic. favoritos
Na minha lista:
Ferramentas de pesquisa:
Obter Feed RSS
—
Enviar pesquisa por email
—
Guardar a pesquisa
Voltar
Refinar a Pesquisa
Formato
Livro
4
Conference Proceeding
Ano da publicação
De:
Até:
Autor
Börger, E. (Egon), 1946-
Kleine Büning, H. (Hans)
3
Richter, Michael M., 1938-
3
Workshop on Computer Science Logic Duisburg, Germany
1
Workshop on Computer Science Logic Heidelberg, Germany
1
Workshop on Computer Science Logic Kaiserslautern, Germany
1
Mais ...
Workshop on Computer Science Logic Karlsruhe, Germany
1
Ver todos ...
menos ...
Área/Cota
Q - Science
4
Tipo
Conference papers and proceedings
4
Congresses
4
Congrès
4
Electronic resources (Books)
3
Sugestões de Tópicos
Computer science
4
Informatique
4
Logic, Symbolic and mathematical
4
Logica
4
Logique symbolique et mathématique
4
Mathematics
Mais ...
Mathématiques
4
Programmeertalen
4
Congrès
2
Ordinateurs
2
Computer logic
1
Computers
1
Electronic data processing
1
Logica E Semantica De Programacao
1
Logica e semantica de programacao
1
Ver todos ...
menos ...
Recursos
Rensselaer Polytechnic Institute
4
Idioma
English
4
A carregar...