Verificar estado da encomenda

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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Theorem Proving in Higher Order Logics Stefan Berghofer

Theorem Proving in Higher Order Logics

22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Stefan Berghofer

Christian Urban

Makarius Wenzel

Língua

Inglês

Livro Capa mole

Livro Theorem Proving in Higher Order Logics Stefan Berghofer

Código Libristo: 01650217

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2009

This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Provi... Descrição completa

Código Libristo: 01650217

?

points

125 b

51.56 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Chambre de Van Gogh Van Gogh

/

Livro

5.74 €

Umweg Leben Hark Larsen

/

Capa mole

9.98 €

Etude de la Fusariose de L pi Sur Orge Et D tection Des Mycotoxines Maaoui Dalel

/

Capa mole

31.98 €

Giacinto Scelsi, les horizons immémoriaux Castanet

/

Capa mole

37.74 €

ОиР. Космические сказки. Солнечная система/Ульева Е. Елена Ульева

/

Livro de capa dura

9.17 €

Sfide e opportunità delle cure palliative moderne Massimo Costantini

/

Capa mole

5.94 €

Officina Meccanica: basi e riflessioni. Il disegno, gli utensili, gli elettroutensili e le macchine utensili. La carpenteria: i materiali, la saldatur Luca Negri

/

Capa mole

18.46 €

El pais de Qa Grzegorz Rosinski

/

Capa mole

8.77 €

Das Bayerische Konkordat von 1583 Klaus Unterburger

/

Livro de capa dura

57.01 €

Die Politische Rolle Der Frau in Der Romischen Republik Barbara Fortsch

/

Livro de capa dura

56.71 €

This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. §The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

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

Sobre o livro

Nome completo Theorem Proving in Higher Order Logics

Autor Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2009

Número de páginas 517

EAN 9783642033582

ISBN 364203358X

Código Libristo 01650217

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 807

Dimensões 155 x 235 x 29

Categorias

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

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

Matemática & ciência > Matemática > Matemáticas discretas

Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados

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

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Seventh Empire Romy Tomlinson

/

Capa mole

23.00 €

A Midsummer Night`s Dream Helen Hackett

/

Livro de capa dura

86.59 €

Things I Wish I'd Told My Mother James Patterson

/

Capa mole

17.15 €

Our World in Pictures the Dinosaur Book: Includes Other Prehistoric Creatures DK

/

Livro de capa dura

18.26 €

The Masque Of Mary: And Other Poems (1858) Edward Caswall

/

Capa mole

34.51 €

The Story Of The Invention Of Steel Pens Henry Bore

/

Livro de capa dura

31.78 €

Prophets Hafiz Ibn Kathir

/

Capa mole

24.72 €

From the Cave Wall: A Stone Age Story Jg Jones

/

Capa mole

8.27 €

Morris Moats Makes a Move Danny Kyzer

/

Capa mole

9.78 €

UExcel - Life Span Developmental Psychology Gcp Editors

/

Capa mole

26.84 €

Feminism(s) in Early Childhood Kylie Smith

/

Livro de capa dura

143.71 €

Invasion of Virginia, 1781 Michael Cecere

/

Livro de capa dura

25.52 €

Mary Wollstonecraft and the Feminist Imagination Barbara Taylor

/

Livro de capa dura

144.82 €

English Common Reader: A Social History of the Mass Reading Pub Richard Daniel Altick

/

Capa mole

37.64 €

International Finance Sercu

/

Livro de capa dura

136.14 €

Global Outsourcing and Offshoring Farok J. ContractorVikas KumarSumit K. KunduTorben Pedersen

/

Capa mole

65.59 €

China's New Foreign Policy Tilman Pradt

/

Livro de capa dura

116.66 €

Lives of the Chief Fathers of New England. Edward W Hooker

/

Capa mole

26.43 €

Diabetes Azmina Govindji

/

Capa mole

8.57 €

Living with the Laird Belinda Rathbone

/

Capa mole

14.22 €

Read and Write Arabic Script (Learn Arabic with Teach Yourself) Mourad Diouri

/

Capa mole

18.06 €

Receptive Ecumenism and the Call to Catholic Learning Paul D. Murray

/

Livro de capa dura

161.37 €

Baudelaire's Revenge - A Novel Bob Van Laerhoven

/

Capa mole

11.39 €

Mastering Windows Server 2016 Hyper-V John Savill

/

Capa mole

42.28 €