Fale com o seu livreiro
Rede de livrarias
A nossa história
Reserva/ ver stock na livraria
Levantamento na livraria
Conexões literárias
Reserva de livros
Levantamento em livraria
Blogue
Cartão Leitor Bertrand
Agenda cultural
Listas de desejos
Comunidade Bertrand
Afiliados
As nossas livrarias
Login
Novo registo
Dados pessoais
Área de cliente
Encomendas
Biblio (ebooks e audiolivros)
Lista de desejos
Trocas e devoluções
Ajuda
Logout
VALES DE COMPRA
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
Initial Algebras And Terminal Coalgebras
de Jiri (Czech Technical University In Prague) Adamek, Lawrence S. (Indiana University, Bloomington) Moss e Stefan (Friedrich-Alexander-Universitat Erlangen-Nurnberg, Germany) Milius
Topological Duality For Distributive Lattices
de Sam (Universite Paris Cite) Van Gool e Mai (Universite Cote D’Azur) Gehrke
Finite-State Techniques
de Klaus U. Schulz e Stoyan Mihov
Temporal Logics In Computer Science
de Stephane Demri, Martin Lange e Valentin Goranko
The Clausal Theory Of Types
de D. A. (University Of Oxford) Wolfram
O seu livreiro telefona-lhe
Telefone-nos
210 305 590
Envie-nos um WhatsApp
915 297 188
Envie-nos um email
[email protected]
Para que lhe sobre mais tempo para as suas leituras.
O seu nome e e-mail:
Vou partilhar com...
Neste momento, este artigo está indisponível no fornecedor. Deixe-nos o seu e-mail para que os nossos livreiros o/a possam avisar assim que fique disponível.
O seu pedido foi registado
Caso este produto fique disponível novamente, será avisado por email
Obrigado por partilhar connosco a sua opinião.
O seu comentário só ficará visível após validação.
- Açores e a Madeira:
Portes grátis:
» Em todas as encomendas: se escolher levantar a sua encomenda numa livraria Bertrand;
» Em todas as encomendas de valor igual ou superior a 16 €:
- se escolher receber a sua encomenda numa morada à sua escolha, através da forma de envio 'Entrega na sua morada' (pode selecionar uma janela horária ou a entrega ao sábado, o que implica o pagamento de uma taxa de serviço);
- ou recebê-la num ponto de recolha;
Açores e a Madeira:
Promoção válida para encomendas de livros não escolares registadas até 31/12/2026. Descontos ou vantagens não acumuláveis com outras promoções.
Será entregue na data de lançamento se for pago até 48h úteis antes, para moradas de Portugal Continental.
No caso de um livro importado (livros editados noutro país), poderão verificar-se atrasos no fornecimento que impeçam a entrega na data de lançamento.
Estes artigos, especialmente as edições mais antigas, estão sujeitos à confirmação de preço e disponibilidade de stock no fornecedor..
- eBooks para leitura na Biblio Bertrand;
- eBooks para leitura no Adobe Digital Editions (ADE) - na Área de Cliente » Os meus eBooks para ADE.
- Audiolivros - na Biblio Bertrand.
1 - Clique em 'RESERVAR NA LIVRARIA';
2 - Escolha a livraria da sua preferência;
3 - Aguarde a nossa confirmação da reserva (por e-mail);
4 - Levante o seu livro na livraria selecionada.