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 Amy Felty

Theorem Proving in Higher Order Logics

10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Língua

Inglês

Livro Capa mole

Livro Theorem Proving in Higher Order Logics Amy Felty

Código Libristo: 05274732

Editoras Springer, Berlin, novembro 1997

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

Código Libristo: 05274732

?

points

125 b

51.61 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Cornelsen Literathek - Textausgaben - Schachnovelle - Empfohlen für das 10.-13. Schuljahr - Textausgabe - Text - Erläuterungen - Materialien Stefan Zweig

/

Capa mole

7.26 €

Die verborgene Geschichte der Erde Claudia Buchholtz

/

Capa mole

26.76 €

Elektra, die hell Leuchtende Jennifer Saint

/

Adobe ePub DRM

9.89 €

Histoire mondiale

/

Capa mole

9.38 €

Collection Des Voyages Des Souverains Des Pays-Bas V3 (1881) Louis Prosper Gachard

/

Capa mole

45.34 €

Antologija Pjesnictva Hrvatskoga I Srbskoga: Narodnoga I Umjetnoga Sa Uvodom O Poetici (1876) August Senoa

/

Capa mole

36.35 €

Yoga-Inspiration, m. 54 Beilage Barbara Kündig

/

Jogo

14.94 €

Poetiken des Widerspruchs in vormoderner Erzahlliteratur Elisabeth Lienert

/

Capa mole

72.21 €

Die Krankheiten Der Nagel Julius Heller

/

Capa mole

53.02 €

Bajkala Ozera Skazki. Tom 2. Jeposy, Mify, Legendy I Skazanija

/

Capa mole

24.33 €

Eutocius d'Ascalon Micheline Decorps-Foulquier

/

Livro de capa dura

133.83 €

Seidenstraße Quelle: Wikipedia

/

Capa mole

13.73 €

Was diese Frau so alles treibt, 1 DVD, deutsche u. englische Version Norman Jewison

/

DVD

8.58 €

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.

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 Amy Felty, Elsa L. Gunter

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1998

Número de páginas 346

EAN 9783540633792

ISBN 3540633790

Código Libristo 05274732

Editoras Springer, Berlin

Peso 460

Dimensões 156 x 234 x 18

Categorias

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 > Engenharia de programas

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

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

Local Analysis of Selberg's Trace Formula A. Good

/

Capa mole

25.95 €

Study Guide for Political Theories for Students Cengage Learning Gale

/

Capa mole

11.20 €

Seasoned to the Country Marilyn Wise

/

Livro de capa dura

31.20 €

Women in Ancient Rome Bonnie MacLachlan

/

Capa mole

48.48 €

Mapleson Memoirs, 1848-1888 Volume 1 James Henry Mapleson

/

Livro de capa dura

32.72 €

Living Liturgy for Cantors: Year a 2011 Joyce Zimmerman

/

Capa mole

9.08 €

Learning and Education Games: Volume Two: Bringing Games into Educational Contexts Karen Schrier Shaenfeld

/

Capa mole

23.83 €

Vogue: The Gown Jo Ellison

/

Livro de capa dura

32.01 €

Skjerven Gaard Vik Sogn og Fjordane Donovan Hurst

/

Capa mole

18.27 €

MathOdes: Etching Math in Memory: Algebra 1 & 2 J A Bailey

/

Capa mole

26.86 €

Transcending the Razor Wire Katherine Young

/

Capa mole

14.03 €

Centre for Fortean Zoology 2007 Yearbook Jonathan Downes

/

Capa mole

18.27 €

Teaching in the Primary School Neil Kitson

/

Livro de capa dura

278.28 €

You Are Not Alone Nadja

/

Capa mole

9.79 €

Legend of Cyber-Love Margaret Liu

/

Livro de capa dura

53.53 €

Plain Facts for Old and Young John Harvey Kellogg

/

Capa mole

7.67 €

French Grammar Practice for Ambitious Learners - Beginner's Edition II, Tenses and Complex Sentences M. RODARY

/

Capa mole

16.66 €

How to Draw with Photorealism: Drawing and Shading Techniques - Beginner to Advanced Jasmina Susak

/

Capa mole

18.27 €

Bolt Action: Campaign: D-Day: British & Canadian Sectors Peter Dennis

/

Capa mole

27.06 €

Roots and Rebellion Dr Arun Verma

/

Capa mole

18.78 €

Decolonizing Ukraine: How the Indigenous People of Crimea Remade Themselves After Russian Occupation Greta Lynn Uehling

/

Capa mole

41.10 €

Government Risk-Sharing in Foreign Investment Marina von Neumann Whitman

/

Capa mole

55.65 €

Distribution in Japan Yoshiro Miwa

/

Livro de capa dura

228.68 €

What Is the Impact of Digitizing Books? Louise I. Gerdes

/

Capa mole

30.39 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?