A mostrar
1 - 4
resultados de
4
Ir para o conteúdo
VuFind
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
हिंदी
Iniciar uma nova Pesquisa Básica
|
Iniciar uma nova Pesquisa Avançada
Versions -
Logic For Computer Science: Foundations Of Automatic Theorem Proving
A mostrar
1 - 4
resultados de
4
, tempo de pesquisa: 0.01seg
Refinar resultados
Ordenar
Relevância
Data Descendente
Data Ascendente
Área
Autor
Título
1
A carregar...
Logic For Computer Science: Foundations Of Automatic Theorem Proving
Por
Gallier, Jean H
Publicado em 1987
Área/Cota:
A carregar...
Localização:
A carregar...
Printed Book
A carregar...
2
A carregar...
Logic for computer science : Foundations of Automatic Theorem proving/
Por
Gallier, Jean H.
Publicado em 1987
Área/Cota:
A carregar...
Localização:
A carregar...
Printed Book
A carregar...
3
A carregar...
Logic for computer science : foundations of automatic theorem proving /
Por
Gallier, Jean H.
Publicado em 1986
Área/Cota:
A carregar...
Localização:
A carregar...
Printed Book
A carregar...
4
A carregar...
Logic for computer science : foundations of automatic theorem proving /
Por
Gallier, Jean H.
Publicado em 2015
Área/Cota:
A carregar...
Localização:
A carregar...
Printed Book
A carregar...
Ferramentas de pesquisa:
Obter Feed RSS
—
Enviar pesquisa por email
Voltar
Refinar a Pesquisa
Recursos
University of Calicut
2
CUSAT
1
MG University
1
Fonte
Department of Mathematics
2
CH Mohammed Koya Library
1
School of Computer Sciences
1
Formato
Printed Book
4
Área/Cota
000 - Computer science, information, general works
1
500 - Natural sciences and mathematics
1
Autor
Gallier, Jean H.
3
Gallier, Jean H
1
Idioma
English
3
Ano da publicação
De:
Até:
A carregar...