A sua pesquisa retornou 478 resultados. Subscrever esta pesquisa

Não era o que estava à espera? Verifique por sugestões
Não realçar Realçar
|
The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro Publicação: Cambridge : MIT Press, 1999 printingDescrição: XXXVIII, 508 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (3).
Reservar Adicionar ao carrinho
Optimization methods for logical inference / Vijay Chandru, John Hooker Publicação: New York (NY) : John Wiley, 1999Descrição: XIV, 365 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Industrial intelligent control : fundamentals and applications / Yong-Zai Lu Publicação: Chichester : John Wiley, 1999 reprDescrição: XX, 325 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da ESTGA (1).
Reservar Adicionar ao carrinho
Learning to build and comprehend complex information structures : Prolog as a case study / Paul Brna, Benedict du Boulay, Helen Pain Publicação: Stamford (CT) : Ablex Publishing Corporation, 1999Descrição: IX, 430 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Sets and proofs : invited papers from Logic Colloquium'97... / edited by S. Barry Cooper and John K. Truss Publicação: Cambridge : University Press, 1999Descrição: IX, 436 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
Texto de apoio à disciplina de Introdução à programação em lógica / Delfim Fernando Marado Torres Publicação: Aveiro : UA. DM, 1999Descrição: 179 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Principles of mathematical logic / D. Hilbert and W. Ackermann Publicação: Providence (RI) : AMS, 1999Descrição: XII, 172 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Fibring logics / Dov M. Gabbay Publicação: Oxford : The Clarendon Press, cop. 1999Descrição: XIII, 475 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
Hegel et la pensée grecque / Pierre Aubenque ... [et al.] Publicação: Paris : Presses Universitaires de France, cop. 1974Descrição: 183 p.Exemplares interditos: Biblioteca da UA (1).
Adicionar ao carrinho
Quantum logic in algebraic approach / Miklós Rédei Publicação: Dordrecht : Kluwer, cop. 1998Descrição: X, 238 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
Aspects of relativised semantics in logic / Ian Hodkinson Publicação: Aveiro : Departamento de Matemátia da Universidade de Aveiro, 1998Descrição: 17 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
FPGA'98 : [proceedings] of ACM/SIGDA Sixth International Symposium on Field Programmable Gate Arrays / [edited by] Jason Cong Publicação: New York (NY) : The Association for Computing Machinery, cop. 1998Descrição: VII, 262 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Elements of logic via numbers and sets / D. L. Johnson Publicação: London : Springer, 1998Descrição: X, 174 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Field-programmable logic and applications : from FPGAs to computing paradigm / eds. Reiner W. Hartenstein, Andres Keevallik Publicação: Berlin : Springer, cop. 1998Descrição: XI, 533 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
Amalgamação em lógica [Texto policopiado] / Manuel António Gonçalves Martins Publicação: Aveiro : M. Martins, 1998Descrição: VIII, 140 p.Exemplares interditos: Mediateca da UA (1).
Adicionar ao carrinho
Sem imagem de capa disponível
Algumas aplicações do teorema dos ultraprodutos de Los' / Ana Helena Alves de Malta Roque Publicação: Aveiro : Departamento de Matemática da Universidade de Aveiro, 1998Descrição: 25 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Handbook of proof theory / edited by Samuel R. Buss Publicação: Amsterdam : Elsevier, 1998Descrição: 811 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Once upon a number : the hidden mathematical logic of stories / John Allen Paulos Publicação: New York (NY) : Basic Books, 1998Descrição: [8], 214 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
Mathematical reasoning : nature, form and development / editor Lyn D. English Publicação: Hove : Psychology Press, 1998Descrição: P. 81-189 : il
Adicionar ao carrinho
Philosophical investigations / Ludwig Wittgenstein Publicação: Oxford : Prentice Hall, 1997 reprDescrição: 250 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>