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

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Formal Methods in Artificial Intelligence Allan M. Ramsay

Formal Methods in Artificial Intelligence

Allan M. Ramsay

Língua

Inglês

Livro Capa mole

Livro Formal Methods in Artificial Intelligence Allan M. Ramsay

Código Libristo: 02030414

Editoras Cambridge University Press, julho 1991

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha... Descrição completa

Código Libristo: 02030414

?

points

115 b

47.49 €

Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

De Bello Et Excidio Trojae, In Usum Serenissimi Delphini (1702) Dictys Cretensis

/

Capa mole

39.19 €

New York 2017, Streifenkalender XXL Marco Becher

/

Calendário

14.68 €

Alienmorder Stephen Goldin

/

Adobe ePub DRM

2.22 €

Cryogenic Nightmare Chet Cunningham Audiolivro

MP3

21.16 €

Fantom I: Přízračné legie Terry Goodkind

/

Capa mole

10.62 €

La tarification du carbone et ses répercussions Rokhaya

/

Capa mole

22.78 €

Cooperación en la formación entre instituciones

/

Capa mole

19.84 €

Triceratops Dennis Schatz

/

Livro

15.99 €

Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll

/

Capa mole

47.39 €

Sonneberg 1 : 50 000 (L5732)

/

Mapa

7.08 €

Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger

/

Jogo

28.96 €

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.

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 Formal Methods in Artificial Intelligence

Autor Allan M. Ramsay

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1991

Número de páginas 292

EAN 9780521424219

ISBN 0521424216

Código Libristo 02030414

Editoras Cambridge University Press

Peso 470

Dimensões 170 x 244 x 16

Categorias

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

Knowledge Intensive Computer Aided Design Susan Finger

/

Livro de capa dura

196.17 €

Miscellaneous Papers on Political and Commercial Subjects ]. Noah Webster

/

Capa mole

18.12 €

Religion, belief and social work Sheila Furness

/

Capa mole

29.97 €

Er Larry Stockstill

/

Capa mole

16.50 €

Race and Ethnicity in Anglo-Saxon Literature Stephen J. Harris

/

Livro de capa dura

204.07 €

Visionary Greg Belter

/

Capa mole

6.78 €

FLAGHOPPING And Other Poems MICHAEL PATTWELL

/

Capa mole

16.90 €

Acts R. Kent Hughes

/

Livro de capa dura

30.58 €

Treasury of Miracles for Teens Karen Kingsbury

/

Livro de capa dura

15.59 €

Óscar y la gata de medianoche Ron Brooks

/

Capa mole

14.27 €

Complications of Bone Marrow and Stem Cell Transplants: Fast Focus Study Guide J T Thomas MD

/

Capa mole

10.32 €

The Thing That Made the Noise: The Search for the Thing Jaymes Brown

/

Capa mole

13.36 €

Growing God's Gifts Lucy Joy

/

Livro de capa dura

11.43 €

The Soldier's Companion To The Spiritual Exercises (1882) Joseph Redman

/

Capa mole

18.93 €

Saddle Club 54: Gold Medal Rider Bonnie Bryant

/

Adobe ePub DRM

6.57 €

Bioinformatics with Python Cookbook - Third Edition Tiago Antao

/

Capa mole

50.53 €

Mr Men Little Miss Audio Collection Roger Hargreaves

/

MP3

4.95 €

Royal School of Needlework: Wall of Wool (Blank Sketch Book) Flame Tree Publishing

/

Livro de capa dura

11.23 €

In Fields Where Daisies Grow Elizabeth Jeffrey

/

Capa mole

26.93 €

Chesapeake Campaigns 1813-15 Scott Sheads

/

Capa mole

18.12 €

Star Wars: The Essential Atlas Daniel Wallace

/

Capa mole

20.15 €

Classical Mechanics Walter Greiner

/

Capa mole

89.73 €

Quantum Computing Debabrata Goswami

/

Livro de capa dura

106.44 €

Universality of Nonclassical Nonlinearity Pier Paolo Delsanto

/

Capa mole

183.62 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?