|
41.
|
Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee
Monografia
Publicação
San Diego : Academic Press, 1987
Descrição
331 p. :
il.
Cota: L.S. 44506 INF
Disponibilidade
Exemplares para empréstimo (1).
|
|
42.
|
Introdução à programação em lógica / Delfim Fernando Marado Torres
Monografia
Publicação
Aveiro : Universidade de Aveiro, 2000
Descrição
346 p.
Cota: L.S. 47677 INF
Disponibilidade
Exemplares para empréstimo (3).
|
|
43.
|
Introdução à filosofia da ciência : trad. de Leonidas Hegenberg e Octanny Silveira da Mota / Karel Lambert e Gordon G. Brittan
Monografia
Publicação
São Paulo : Cultrix, 1972
Descrição
145 p.
Cota: L.S. 49924 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
44.
|
Écrits sur le signe / Charles Sanders Peirce ; traduits et commentés par Gérard Deledalle
Monografia
Publicação
Paris : Éditions du Seuil, 1978
Descrição
263, [7] p.
Cota: L.S. 54250 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
45.
|
Enciclopédia Einaudi : local/global / Fernando Gil
Monografia
Publicação
[Lisboa] : Imprensa Nacional-Casa da Moeda, cop. 1985
Descrição
Vol. 4 (362, [5]) p.
Cota: L.S. 4417 OR
Disponibilidade
Exemplares para consulta (3).
|
|
46.
|
Polimorfismo atómico e o teorema da normalização forte / Maria do Rosário Dinis Inácio
Documento eletrónico
Publicação
[Lisboa] : [s.n.], 2014
Descrição
1 disco ótico (CD-ROM) :
il.
Cota: L.C. 1464
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
47.
|
The essential guide to user interface design : an introduction to GUI design : principles and techniques / Wilbert O. Galitz
Monografia
Publicação
New York : John Wiley & Sons, 1997
Descrição
XII, 626 p. :
il.
Cota: L.S. 18597 INF
Disponibilidade
Exemplares para empréstimo (1).
|
|
48.
|
Neuro-fuzzy models to predict the required propofol amount for loss of consciousness during general anesthesia : a preliminary study / Ana L. Ferreira... [et al.]
Monografia
Publicação
[S.l.] : IEEE, 2018
Descrição
[3] f.
Cota: L.S. 55062 M
Disponibilidade
Exemplares para empréstimo (1).
Acesso virtual
Referência no Repositório Aberto
|
|
49.
|
A história da lógica / Marcell Boll, Jacques Reinhart ; trad. de A. J. Pinto Ribeiro
Monografia
Publicação
Lisboa : Edições 70, 1981
Descrição
128 p.
Cota: L.S. 2104 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
50.
|
O lugar da lógica e da argumentação no ensino da filosofia = La place de la logique et de l'argumentation dans l'enseignement de la philosophie / ed. por Henrique Jales Ribeiro e Joaquim Neves Vicente
Monografia
Publicação
Coimbra : Faculdade de Letras, 2010
Descrição
218 p.
Cota: L.S. 46652 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
51.
|
Balmes / selecção e prefácio de J. S. da Silva Dias
Monografia
Publicação
Lisboa : Livraria Bertrand, 1945
Descrição
102 p.
Cota: L.S. 49931 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
52.
|
Razão e história : (introdução a um problema) / Vitorino de Magalhães Godinho
Monografia
Publicação
Lisboa : [s.n.], 1940
Descrição
164, [4] p.
Cota: L.S. 50152 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
53.
|
Lógica e teoria do conhecimento : breve antologia filosófica / org. Joel Serrão e Rui Grácio
Monografia
Publicação
Lisboa : Seara Nova, 1954
Descrição
373, [3] p.
Descrição
v.
Cota: L.S. 50186 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
54.
|
Tratado lógico-filosófico : investigações filosóficas / Ludwig Wittgenstein ; trad. e pref. de M.S. Lourenço
Documento eletrónico
Publicação
Lisboa : Fundação Calouste Gulbenkian, 1995
Descrição
221 p.
Cota: Projeto Acessibilidades - UAb
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Projeto Acessibilidades - UAb
|
|
55.
|
Seleção de atributos de dados inconsistentes / João Daniel Baião de Brito Apolónia
Documento eletrónico
Publicação
Lisboa : [s.n.], 2018
Descrição
1 disco ótico (CD-ROM) :
il.
Cota: L.C. 2158
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
56.
|
Polimorfismo atómico e o teorema da normalização forte / Maria do Rosário Dinis Inácio
Monografia
Publicação
[Lisboa] : [s.n.], 2014
Descrição
55 f.
Cota: L.S. 48688 TMEMC
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
57.
|
Seleção de atributos de dados inconsistentes / João Daniel Baião de Brito Apolónia
Monografia
Publicação
Lisboa : [s.n.], 2018
Descrição
XIII, 95 p. :
il.
Cota: L.S. 52641 TMTSIW
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
58.
|
Logos e racionalidade : na génese e estrutura da lógica de Aristóteles / Francisco Sardo
Monografia
Publicação
[Lisboa] : Imprensa Nacional-Casa da Moeda, 2000
Descrição
601, [3] p.
Cota: L.S. 46512 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
59.
|
Existência, sentido e inferência : os princípios da filosofia lógica do "Tratatus Logico-Philosophicus" de Ludwig Wittgenstein / Rui Daniel da Costa Cunha
Monografia
Publicação
Lisboa : Arquimedes Livros, 2007
Descrição
226 p.
Cota: L.S. 43228 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
60.
|
Fuzzy clustering via proportional membership model / Susana Nascimento
Monografia
Publicação
Amsterdam : IOS Press, 2005
Descrição
XX, 178 p. :
il.
Cota: L.S. 43235 INF
Disponibilidade
Exemplares para empréstimo (1).
|