«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Proof Theory for Description Logics

Idioma InglésInglés
Libro Tapa blanda
Libro Proof Theory for Description Logics Alexandre Rademaker
Código Libristo: 01425944
Editores Springer London Ltd, mayo 2012
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are... Descripción completa
? points 149 b
60.99 €
Por encargo a la editorial Envío en 17-27 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Das Erbe des Weißen Wolfs Erik Simon / Libro Tapa blanda
common.buy 17.99 €
Súvislosti Pavol Stanislav / Libro Tapa blanda
common.buy 3.79 €
UVA ALIMENTOS SANOS VALPIANA / Libro Libro
common.buy 6.69 €
Návrat Krále Šumavy Žák David Jan / Audio CD de audio
common.buy 14.19 €
Les Chamanes de la préhistoire ((Réédition)) Jean Clottes / Libro Tapa blanda
common.buy 11.49 €
Peter Tutt: Zustande In Amerika (1862) Adelbert Baudissin / Libro Tapa blanda
common.buy 31.79 €
Tonio et son ami magique Meilliez / Libro Tapa blanda
common.buy 16.39 €
Lucky Luke - Western Circus René Goscinny / Libro Tapa dura
common.buy 14.19 €
Dnewnik, kotorogo ne bylo Evgeniya Zinina / Libro Tapa blanda
common.buy 57.89 €
Kleinere Schriften und Briefe Julius Robert von Mayer / Libro Tapa blanda
common.buy 34.49 €
Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe Schwing-N-P / Libro Tapa blanda
common.buy 13.19 €
True Love Kai-Uwe Freudenberger / Libro Tapa blanda
common.buy 7.99 €
Solo Vonda Shepard / Audio CD de audio
common.buy 24.99 €
Elora im Tal der Elfen Renate Schweitzer / Libro Tapa blanda
common.buy 11.99 €
Das Glucksmilieu oder die Illusion des ICH Pepe Holzer / Libro Tapa dura
common.buy 22.19 €
Excursions d'Une Francaise Dans La Regence de Tunis (Ed.1884) Anne-Caroline Josephine Voisins D' Ambre / Libro Tapa blanda
common.buy 25.29 €
Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones Fabián Chavarría Solera / Libro Tapa blanda
common.buy 38.49 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Proof Theory for Description Logics
Autor Alexandre Rademaker
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 106
EAN 9781447140016
ISBN 144714001X
Código Libristo 01425944
Editores Springer London Ltd
Peso 192
Dimensiones 155 x 235 x 20

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
Computación e informática > Bases de datos > Análisis y captura de datos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial Moises Park / Libro Tapa dura
common.buy 96.09 €
Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic MCCLOSKEY ROBERT / Libro Tapa dura
common.buy 12.69 €
Edil's New Shoes: A tale of family, sacrifice, and reward Xingyu Wei / Libro Tapa blanda
common.buy 10.69 €
Women in Moroccan Cinema Hmad Benaissa / Libro Tapa blanda
common.buy 26.39 €
Cyborg Anna Hackett / Libro Tapa blanda
common.buy 12.59 €
Matisse Picasso and Gertrudis Stein: With Two Shorter Stories Gertrude Stein / Libro Tapa blanda
common.buy 20.09 €
Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure Thomas Payne / Libro Tapa blanda
common.buy 141.99 €
Christianity's Family Tree Participant's Guide Adam Hamilton / Libro Tapa blanda
common.buy 15.79 €
Próximamente
Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques Kim H Pries / Libro Tapa dura
common.buy 215.29 €
Law at War Ammunition United States. Department of the Army Allocations Committee / Libro Tapa blanda
common.buy 23.99 €
Nuclear Command and Control in NATO Shaun R. Gregory / Libro Tapa dura
common.buy 118.29 €
Performing Gender Violence Barbara Ozieblo / Libro Tapa dura
common.buy 43.59 €
Soul Mates Jenny Smedley / Libro Tapa blanda
common.buy 20.29 €
Draughtsmen, Botanists and Nature: Kärin Nickelsen / Libro Tapa dura
common.buy 112.79 €
Heritage, Labour and the Working Classes Laurajane Smith / Libro Tapa blanda
common.buy 73.39 €
What We Can Never Know David Gamez / Libro Tapa dura
common.buy 159.29 €
65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1) Drummond III / Libro Tapa blanda
common.buy 145.89 €
Decline of the Anglo-American Middle East, 1961-1969 Tore T. Petersen / Libro Tapa blanda
common.buy 64.39 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo