Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274407
Price: 46.07 EUR
Availability: InStock
Author: Egon Börger
ISBN: 9783540582779

7th Workshop, CSL '93, Swansea, UK, September 13-17, 1993. Selected Papers

Egon Börger

Yuri Gurevich

Karl Meinke

Língua

Inglês

Livro Capa mole

Código Libristo: 05274407

Editoras Springer, Berlin, novembro 1993

This volume contains the final versions of a collection of papers presented at the Annual Conference... Descrição completa

Código Libristo: 05274407

111 b

46.07 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

One Piece 109 Eiichiro Oda

Capa mole

6.27 €

Gouverner le social par le religieux Faure

Capa mole

28.55 €

Tiamatin hněv James S. A. Corey

Capa mole

12.65 €

Kabala Pro Zacatecniky Michael Laitman

Capa mole

15.79 €

Le journal de ma vie Kate Clayborn

Capa mole

20.85 €

Harakiri - The Masters of Cinema Series Masaki Kobayashi

Blu-ray

13.46 €

Programació lineal

Capa mole

14.07 €

Agenda Mindenensis dioecesis Carl von Reifitz

Capa mole

50.02 €

Ein europäischer Jurist des 19. Jahrhunderts. Tanja Guddat

Capa mole

90.33 €

Spuk Ernst Kallmeyer

Capa mole

19.74 €

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Computer Science Logic

Autor Egon Börger, Yuri Gurevich, Karl Meinke

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1994

Número de páginas 336

EAN 9783540582779

ISBN 3540582770

Código Libristo 05274407

Editoras Springer, Berlin

Peso 466

Dimensões 216 x 279 x 18

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática

Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Conceção e utilizabilidade do interface com o utilizador

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Informática & tecnologia da informação > Ciência informática > Inteligência artificial

Informática & tecnologia da informação > Programação & engenharia informática