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

Proof Theory for Description Logics

Língua InglêsInglês
Livro Capa mole
Livro Proof Theory for Description Logics Alexandre Rademaker
Código Libristo: 01425944
Editoras Springer London Ltd, maio 2012
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are... Descrição completa
? points 119 b
49.26 €
Sob encomenda da editora Envio em 17-27 dias

Política de devolução de 30 dias

Os clientes também compraram

Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe Schwing-N-P / Livro Capa mole
common.buy 10.79 €
Tonio et son ami magique Meilliez / Livro Capa mole
common.buy 13.72 €
Súvislosti Pavol Stanislav / Livro Capa mole
common.buy 3.22 €
UVA ALIMENTOS SANOS VALPIANA / Livro Livro
common.buy 5.85 €
Návrat Krále Šumavy Žák David Jan / Áudio CD de áudio
common.buy 12.01 €
Les Chamanes de la préhistoire ((Réédition)) Jean Clottes / Livro Capa mole
common.buy 9.68 €
Peter Tutt: Zustande In Amerika (1862) Adelbert Baudissin / Livro Capa mole
common.buy 26.14 €
Lucky Luke - Western Circus René Goscinny / Livro Livro de capa dura
common.buy 11.20 €
Solo Vonda Shepard / Áudio CD de áudio
common.buy 20.89 €
True Love Kai-Uwe Freudenberger / Livro Capa mole
common.buy 6.45 €
Elora im Tal der Elfen Renate Schweitzer / Livro Capa mole
common.buy 9.58 €
Das Glucksmilieu oder die Illusion des ICH Pepe Holzer / Livro Livro de capa dura
common.buy 17.66 €
Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones Fabián Chavarría Solera / Livro Capa mole
common.buy 30.68 €

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantic. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.§A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes.

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 Proof Theory for Description Logics
Autor Alexandre Rademaker
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2012
Número de páginas 106
EAN 9781447140016
ISBN 144714001X
Código Libristo 01425944
Editoras Springer London Ltd
Peso 192
Dimensões 155 x 235 x 20

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
Informática & tecnologia da informação > Bases de dados > Captura e análise de dados
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

Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic MCCLOSKEY ROBERT / Livro Livro de capa dura
common.buy 9.78 €
Edil's New Shoes: A tale of family, sacrifice, and reward Xingyu Wei / Livro Capa mole
common.buy 8.77 €
Cyborg Anna Hackett / Livro Capa mole
common.buy 10.29 €
Matisse Picasso and Gertrudis Stein: With Two Shorter Stories Gertrude Stein / Livro Capa mole
common.buy 16.35 €
Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure Thomas Payne / Livro Capa mole
common.buy 116.41 €
Christianity's Family Tree Participant's Guide Adam Hamilton / Livro Capa mole
common.buy 12.21 €
Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial Moises Park / Livro Livro de capa dura
common.buy 78.65 €
Law at War Ammunition United States. Department of the Army Allocations Committee / Livro Capa mole
common.buy 20.28 €
Nuclear Command and Control in NATO Shaun R. Gregory / Livro Livro de capa dura
common.buy 98.84 €
Em breve
Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques Kim H Pries / Livro Livro de capa dura
common.buy 169.11 €
65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1) Drummond III / Livro Capa mole
common.buy 117.32 €
What We Can Never Know David Gamez / Livro Livro de capa dura
common.buy 132.06 €
Heritage, Labour and the Working Classes Laurajane Smith / Livro Capa mole
common.buy 58.86 €
Draughtsmen, Botanists and Nature: Kärin Nickelsen / Livro Livro de capa dura
common.buy 91.67 €
Decline of the Anglo-American Middle East, 1961-1969 Tore T. Petersen / Livro Capa mole
common.buy 50.88 €
Soul Mates Jenny Smedley / Livro Capa mole
common.buy 16.45 €
Performing Gender Violence Barbara Ozieblo / Livro Livro de capa dura
common.buy 33.61 €

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?