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 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Automated Theorem Proving

Theory and Practice

Língua InglêsInglês
Livro Capa mole
Livro Automated Theorem Proving Monty Newborn
Código Libristo: 02174450
Editoras Springer-Verlag New York Inc., maio 2013
This text and software package introduces readers to automated theorem proving, while providing two... Descrição completa
? points 260 b
107.42 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Finance d'entreprise 6e édition Mohamed Akli Achabou / Livro Capa mole
common.buy 58.05 €
MANGA STYLE 07: KIRA YUKISHIRO YUKISHIRO / Livro Livro
common.buy 21.74 €
Richard Dotzauer a osobnosti podnikatelského života 19. století Petr Valenta / Livro Livro de capa dura
common.buy 14.66 €
Latin Ou L'Empire D'Un Signe (Le) Francoise Waquet / Livro Capa mole
common.buy 25.08 €
Introducción a la moderna antropolog­a cultural BOCK / Livro Capa mole
common.buy 10.81 €
ENTRELACS / INTERLACE HELLA JONGERIUS Livro Livro
common.buy 6.56 €
Dynamique paysanne et développement rural au Congo N'Kaloulou / Livro Capa mole
common.buy 19.01 €
Panda Kalioujny / Livro Livro de capa dura
common.buy 15.37 €
Un terrain contesté Tamir Sorek / Livro Capa mole
common.buy 29.93 €
Customização Curricular no Ensino Médio ROBERTO RAFAEL DIAS DA SILVA / Livro binding.
common.buy 15.90 €
Spaziergang nach Syrakus im Jahre 1802 Johann Gottfried Seume / Livro Capa mole
common.buy 10.41 €
Einfahrt Freihalden! Winfried G. Luible / Livro Capa mole
common.buy 6.06 €
Ocho días de marzo : el reencuentro con el policía resucitado Jordi Sierra i Fabra / Livro Capa mole
common.buy 10.41 €
Prima Che Fossimo in Tre: : Ethan E Rhett L A Witt / Livro Capa mole
common.buy 10.31 €
Der geheimnisvolle Planet... Arnd Stein / Áudio CD de áudio
common.buy 15.06 €
Bound to Her Inka Loreen Minden / Livro Capa mole
common.buy 5.15 €
Fraulein von Scuderi E.T.A. Hoffmann / Livro Capa mole
common.buy 7.98 €
Rechtsetzungsverfahren in der Europaischen Gemeinschaft Anja Repke / Livro Capa mole
common.buy 15.06 €

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises designed to familiarise the readers with the ideas and with the software, and answers to many of the problems.

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 Theorem Proving
Autor Monty Newborn
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2013
Número de páginas 231
EAN 9781461265191
ISBN 1461265193
Código Libristo 02174450
Editoras Springer-Verlag New York Inc.
Peso 385
Dimensões 155 x 235 x 14

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 > Inteligência artificial > Aprendizagem mecânica
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
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

Analysis of Shells and Plates Phillip L. Gould / Livro Capa mole
common.buy 46.02 €
Rat Race Ashley Pines / Livro Capa mole
common.buy 14.15 €
Standard First Aid, CPR, and AED American College Of Emergency Physicians / Livro Capa mole
common.buy 20.22 €
Bhayanak Mahal / Livro Capa mole
common.buy 14.96 €
Modern Software Engineering Ryan McNeil / Livro Livro de capa dura
common.buy 101.35 €
Psychological aspects in in lessons - teaching Günther Dichatschek / Livro Capa mole
common.buy 36.20 €
Vendetta - Alles was ihm blieb war Rache Elliott Lester / Vídeo Blu-ray
common.buy 16.07 €
Paleo Desserts Sourabh Aryabhatta / Livro Capa mole
common.buy 8.79 €
Wheels of Thunder S. Parish / Livro Capa mole
common.buy 14.25 €
Economic Models of Trade Unions P. Garonna / Livro Livro de capa dura
common.buy 109.34 €
Death Ship Bruno Traven / Livro Livro de capa dura
common.buy 37.62 €
Catechism of Health Bernhard Christoph Faust / Livro Capa mole
common.buy 21.23 €
How to Lobby at Intergovernmental Meetings Michael Strauss / Livro Capa mole
common.buy 53.60 €
Understanding Freud Steven T. Katz / Livro Livro de capa dura
common.buy 107.62 €
Scandal and Silence - Media Response to Presidential Misconduct Robert M. Entman / Livro Capa mole
common.buy 23.96 €
Principal
The Mortal Instruments 1: City of Bones Cassandra Clare / Livro Capa mole
common.buy 7.88 €
Health Economics Divya Sonawane / Livro Capa mole
common.buy 34.59 €
Innovating Government Simone van der Hof / Livro Livro de capa dura
common.buy 89.62 €
Ecological Dynamics of Tropical Inland Waters Jack F. TallingJacques Lemoalle / Livro Capa mole
common.buy 57.65 €
Moral Dilemmas in Medieval Thought M. V. Dougherty / Livro Capa mole
common.buy 49.15 €
Charge Transport in DNA - Insights from Simulations Mario Wolter / Livro Capa mole
common.buy 38.63 €
Cylinder Seals from the Collections of the Aleppo Museum, Sy Hamido Hammade / Livro Capa mole
common.buy 60.48 €
Feminist Perspectives on Building a Better Psychological Science of Gender Tomi-Ann Roberts / Livro Livro de capa dura
common.buy 98.52 €
Conversations and Desserts Anjanette Seymour / Livro Capa mole
common.buy 14.05 €

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?