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: 05274587
Price: 45.97 EUR
Availability: InStock
Author: Hans Kleine Buening
ISBN: 9783540613770

9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers

Hans Kleine Buening

Língua

Inglês

Livro Capa mole

Código Libristo: 05274587

Editoras Springer, Berlin, novembro 1995

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference... Descrição completa

Código Libristo: 05274587

111 b

45.97 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen Mark Twain

Capa mole

10.30 €

Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD Klaus-P. Weigand

CD de áudio

9.89 €

Asphalt Tribe Morton Rhue

Capa mole

7.27 €

Lexikon der Sprichwoerter und Redensarten Band 13 (Es - Er) René Dick

Capa mole

34.55 €

besten und verrucktesten Kneipen-Namen Dieter Auer

Capa mole

8.78 €

Wichtel Nick Admar Kwant

Livro concertina

9.29 €

Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil. Karl-Dieter Müller

Capa mole

54.46 €

Erfolgreich verhandeln Jörg Kupjetz

Capa mole

25.96 €

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

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 Hans Kleine Buening

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1996

Número de páginas 492

EAN 9783540613770

ISBN 3540613773

Código Libristo 05274587

Editoras Springer, Berlin

Peso 659

Dimensões 156 x 234 x 25

Categorias

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

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

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

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 > Análise e conceção de sistemas

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