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 Proof Theory for Description Logics Alexandre Rademaker

Proof Theory for Description Logics

Alexandre Rademaker

Língua

Inglê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

Código Libristo: 01425944

?

points

140 b

57.96 €

Sob encomenda da editora Envio em 17-27 dias

Até 30 dias para devoluções

Os clientes também compraram

True Love Kai-Uwe Freudenberger

/

Capa mole

6.88 €

Lucky Luke - Western Circus René Goscinny

/

Livro de capa dura

13.57 €

Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe Schwing-N-P

/

Capa mole

12.76 €

Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones Fabián Chavarría Solera

/

Capa mole

36.98 €

Das Glucksmilieu oder die Illusion des ICH Pepe Holzer

/

Livro de capa dura

21.07 €

Peter Tutt: Zustande In Amerika (1862) Adelbert Baudissin

/

Capa mole

29.28 €

Les Chamanes de la préhistoire ((Réédition)) Jean Clottes

/

Capa mole

11.04 €

Návrat Krále Šumavy Žák David Jan

/

CD de áudio

14.38 €

UVA ALIMENTOS SANOS VALPIANA

/

Livro

6.17 €

Súvislosti Pavol Stanislav

/

Capa mole

3.84 €

Tonio et son ami magique Meilliez

/

Capa mole

15.80 €

Elora im Tal der Elfen Renate Schweitzer

/

Capa mole

11.54 €

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

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

Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial Moises Park

/

Livro de capa dura

98.80 €

Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic MCCLOSKEY ROBERT

/

Livro de capa dura

12.15 €

Edil's New Shoes: A tale of family, sacrifice, and reward Xingyu Wei

/

Capa mole

10.33 €

Scenic Route to Purpose E. Danielle Butler

/

Capa mole

16.51 €

Cyborg Anna Hackett

/

Capa mole

12.15 €

Matisse Picasso and Gertrudis Stein: With Two Shorter Stories Gertrude Stein

/

Capa mole

19.35 €

Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure Thomas Payne

/

Capa mole

122.62 €

Christianity's Family Tree Participant's Guide Adam Hamilton

/

Capa mole

15.09 €

Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques Kim H Pries

/

Livro de capa dura

214.13 €

Law at War Ammunition United States. Department of the Army Allocations Committee

/

Capa mole

23.30 €

Nuclear Command and Control in NATO Shaun R. Gregory

/

Livro de capa dura

114.71 €

Draughtsmen, Botanists and Nature: Kärin Nickelsen

/

Livro de capa dura

115.93 €

Performing Gender Violence Barbara Ozieblo

/

Livro de capa dura

41.54 €

Soul Mates Jenny Smedley

/

Capa mole

19.25 €

Heritage, Labour and the Working Classes Laurajane Smith

/

Capa mole

68.09 €

65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1) Drummond III

/

Capa mole

137.82 €

Decline of the Anglo-American Middle East, 1961-1969 Tore T. Petersen

/

Capa mole

55.83 €

What We Can Never Know David Gamez

/

Livro de capa dura

154.64 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?