Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 8.49 € Correio DPD 4.99 € Ponto DPD 4.49 € Correio GLS 5.99 € Correio MRW 5.99 € Ponto GLS 4.99 €
phone Contacto phoneComo comprar

Automated Reasoning with Analytic Tableaux and Related Methods

20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Automated Reasoning with Analytic Tableaux and Related Methods Kai Brünnler
Código Libristo: 01658308
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2011
This book constitutes the refereed proceedings of the 20th International Conference on Automated Rea... Descrição completa
? points 138 b
56.80 €
Armazenamento externalo em pequenas quantidades Envio em 3-6 dias

Até 30 dias para devoluções

Os clientes também compraram

Lettres Patentes de Sa Majeste Pour La Faction Des Hommages, Nouveaux Papiers Terriers Henri IV / Livro Capa mole
common.buy 12.98 €
Geschichte der Hochschulen in Italien Wolfgang Sebastian Weberitsch / Livro Capa mole
common.buy 17.01 €
Castes et Races. suivi de : Principes et critères de l’art universel Schuon / Livro Capa mole
common.buy 17.52 €
Romy Schneider (Graphic Novel) Stéphane Betbeder / Livro Livro de capa dura
common.buy 26.58 €
Islamic Economics.. Its Origin - Its Specificity - Its Curriculum Researchers Group / E-book Adobe ePub DRM
common.buy 13.18 €
Christian Identity - Zwischen Froemmigkeit und radikaler Ideologie Michael Hausin / Livro Capa mole
common.buy 18.02 €
Pour Comprendre Français 4E Isabelle de Lisle / Livro Livro de capa dura
common.buy 8.45 €
Ultima scrisoare de dragoste Jojo Moyes / E-book Adobe ePub DRM
common.buy 5.23 €
NO PUC VIURE SENSE TU VICENT SANZ / Livro Capa mole
common.buy 29.30 €
Paisajes góticos. De lo fantástico y sus alrededores (Siglos XVIII-XXI) Kunz / Livro Capa mole
common.buy 33.83 €
Introduction aux sciences de la communication Daniel Bougnoux / Livro Capa mole
common.buy 13.08 €
Ideengeschichte der sozialen Bewegung des 19. und 20. Jahrhunderts Werner Hofmann / Livro Livro de capa dura
common.buy 124.88 €
FERNANDO FERNANDEZ-LAVIE : CHOIX D'ETUDES N 1 - GUITARE FERNANDO FERNANDEZ-L Livro binding.
common.buy 41.49 €
Philosophie des sciences Nouvel / Livro Capa mole
common.buy 17.41 €
Sem Tempo Para Memórias Robson Dos Anjos / Livro Capa mole
common.buy 6.94 €
Anno Domini, Flops Urs Hostettler / Jogo/brinquedo Jogo
common.buy 15.50 €
Em breve
Susan Sontag - The Doors und Dostojewski Georg Deggerich / Livro Livro de capa dura
common.buy 18.93 €
L'itineraire authentique du salut Jean-Marie Ayissi / Livro Capa mole
common.buy 15.10 €
How To Fast Successfully - INDONESIAN BAHASA Derek Prince / Livro Capa mole
common.buy 11.57 €
Uchenie Grigorija Grabovogo O Boge. Radost Vechnogo Razvitija. Grigori Grabovoi / Livro Capa mole
common.buy 6.34 €
Dog Frisbee Julia Schuster / Livro Capa mole
common.buy 11.87 €
O co-relato Mallarme-Haroldo Bento Sergio / Livro Capa mole
common.buy 55.30 €
Die Bedeutung der St. Michaels Kirche in München in der mitteleuropäischen Architekturentwicklung Sevda Onur / Livro Capa mole
common.buy 17.01 €
Evaluation, Wissen Und Nichtwissen Thomas Brüsemeister / Livro Capa mole
common.buy 44.61 €

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
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 Automated Reasoning with Analytic Tableaux and Related Methods
Autor Kai Brünnler, George Metcalfe
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2011
Número de páginas 279
EAN 9783642221187
ISBN 3642221181
Código Libristo 01658308
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 447
Dimensões 155 x 235 x 20

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 > 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 > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
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

A Concise Introduction to Mechanics of Rigid Bodies L. Huang / Livro Capa mole
common.buy 67.88 €
Em breve
Bite-sized History Of France Stephane Henaut / Livro Capa mole
common.buy 19.13 €
Raising Redemption: A Novel of Shame, Secrets, Sacrifice, and Struggle R. A. Russell / Livro Capa mole
common.buy 15.61 €
Youth in Cell Ministry Joel Comiskey / Livro Capa mole
common.buy 15.60 €
Those Miraculous Sunflower Seeds Katja Kowalec / Livro Capa mole
common.buy 36.35 €
Penal Ordinances City of Seymour, Indiana. Geo G Graessle / Livro Capa mole
common.buy 16.71 €
The Prince and the Page Charlotte Mary Yonge / Livro Capa mole
common.buy 14.19 €
Study Guide for Toni Morrison's Song of Solomon Cengage Learning Gale / Livro Capa mole
common.buy 11.98 €
For You: Expressions of life in verse Peppi Hilton / Livro Capa mole
common.buy 7.44 €
My Masters, My Slave YOSEF BEN SOLOMON / Livro Capa mole
common.buy 17.72 €
The Commuter Jaume Collet-Serra / Vídeo Blu-ray
common.buy 15.40 €
Principles of Internet of Everything S. Balamurugan / Livro Capa mole
common.buy 63.75 €
Top Trails: Maui Sara Benson / Livro Livro de capa dura
common.buy 28.90 €
Secession and State Creation Ker-Lindsay / Livro Capa mole
common.buy 15.30 €
Knockout: A Manual For Success: my million dollar shift Mike Kennedy / Livro Capa mole
common.buy 10.57 €
Sharkey Tales Lauren Abby / Livro Capa mole
common.buy 11.07 €
English-Vietnamese School Children's Bilingual Picture Dictionary Richard Carlson Jr / Livro Capa mole
common.buy 12.28 €
History of John Bull John Arbuthnot / Livro Capa mole
common.buy 21.64 €
Two Babylons or the Papal Worship Proved to Be the Worship of Nimrod and His Wife Alexander Hislop / Livro Capa mole
common.buy 34.24 €
Man In Art: Studies In Religious And Historical Art, Portrait And Genre Philip Gilbert Hamerton / Livro Livro de capa dura
common.buy 45.82 €
Bax and His Bubbles Pardeep Mehra / Livro Capa mole
common.buy 15.90 €
Stranger in Our Bed Samantha Lee Howe / Audiolivro MP3
common.buy 17.72 €
Secret AI Ghostwriter Amanda Symonds / Livro Capa mole
common.buy 11.77 €
The Commonwealth of Oceana James Harrington / Livro Capa mole
common.buy 49.85 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?