Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Proof Theory for Description Logics

Langue AnglaisAnglais
Livre Livre de poche
Livre Proof Theory for Description Logics Alexandre Rademaker
Code Libristo: 01425944
Éditeurs Springer London Ltd, mai 2012
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are... Description détaillée
? points 147 b
59.99 € TVA incluse
Sur commande auprès de l’éditeur Expédition sous 17-27 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

True Love Kai-Uwe Freudenberger / Livre Livre de poche
common.buy 7.90 €
Lucky Luke - Western Circus René Goscinny / Livre Livre relié
common.buy 15.00 €
Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe Schwing-N-P / Livre Livre de poche
common.buy 13.19 €
Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones Fabián Chavarría Solera / Livre Livre de poche
common.buy 36.49 €
Das Glucksmilieu oder die Illusion des ICH Pepe Holzer / Livre Livre relié
common.buy 21.79 €
Solo Vonda Shepard / Audio CD Audio
common.buy 23.89 €
Peter Tutt: Zustande In Amerika (1862) Adelbert Baudissin / Livre Livre de poche
common.buy 31.79 €
Les Chamanes de la préhistoire ((Réédition)) Jean Clottes / Livre Livre de poche
common.buy 12.09 €
Návrat Krále Šumavy Žák David Jan / Audio CD Audio
common.buy 13.89 €
UVA ALIMENTOS SANOS VALPIANA / Livre Livre
common.buy 6.89 €
Súvislosti Pavol Stanislav / Livre Livre de poche
common.buy 3.79 €
Tonio et son ami magique Meilliez / Livre Livre de poche
common.buy 17.09 €
Elora im Tal der Elfen Renate Schweitzer / Livre Livre de poche
common.buy 11.99 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Proof Theory for Description Logics
Auteur Alexandre Rademaker
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2012
Nombre de pages 106
EAN 9781447140016
ISBN 144714001X
Code Libristo 01425944
Éditeurs Springer London Ltd
Poids 192
Dimensions 155 x 235 x 20

Catégories

Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Informatique > Informatique théorique > Mathématiques pour les informaticiens
Informatique et technologies de l’information > Bases de données > Saisie des données et analyse
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial Moises Park / Livre Livre relié
common.buy 91.59 €
Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic MCCLOSKEY ROBERT / Livre Livre relié
common.buy 12.69 €
Edil's New Shoes: A tale of family, sacrifice, and reward Xingyu Wei / Livre Livre de poche
common.buy 10.69 €
Scenic Route to Purpose E. Danielle Butler / Livre Livre de poche
common.buy 17.19 €
Cyborg Anna Hackett / Livre Livre de poche
common.buy 12.59 €
Matisse Picasso and Gertrudis Stein: With Two Shorter Stories Gertrude Stein / Livre Livre de poche
common.buy 20.09 €
Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure Thomas Payne / Livre Livre de poche
common.buy 132.49 €
Christianity's Family Tree Participant's Guide Adam Hamilton / Livre Livre de poche
common.buy 15.79 €
Bientôt
Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques Kim H Pries / Livre Livre relié
common.buy 195.39 €
Law at War Ammunition United States. Department of the Army Allocations Committee / Livre Livre de poche
common.buy 23.99 €
Nuclear Command and Control in NATO Shaun R. Gregory / Livre Livre relié
common.buy 118.29 €
Draughtsmen, Botanists and Nature: Kärin Nickelsen / Livre Livre relié
common.buy 107.29 €
Performing Gender Violence Barbara Ozieblo / Livre Livre relié
common.buy 43.59 €
Soul Mates Jenny Smedley / Livre Livre de poche
common.buy 19.89 €
Heritage, Labour and the Working Classes Laurajane Smith / Livre Livre de poche
common.buy 70.19 €
65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1) Drummond III / Livre Livre de poche
common.buy 142.59 €
Decline of the Anglo-American Middle East, 1961-1969 Tore T. Petersen / Livre Livre de poche
common.buy 59.79 €
What We Can Never Know David Gamez / Livre Livre relié
common.buy 159.89 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?