Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Proof Theory for Description Logics

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Proof Theory for Description Logics Alexandre Rademaker
Libristo-code: 01425944
Uitgeverij Springer London Ltd, mei 2012
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are... Volledige beschrijving
? points 147 b
60.76 €
Te bestellen bij de uitgever Wordt binnen 17-27 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe Schwing-N-P / Boek Gebonden (paperback)
common.buy 12.75 €
Tonio et son ami magique Meilliez / Boek Gebonden (paperback)
common.buy 16.60 €
Súvislosti Pavol Stanislav / Boek Gebonden (paperback)
common.buy 3.33 €
UVA ALIMENTOS SANOS VALPIANA / Boek Boek
common.buy 6.88 €
Návrat Krále Šumavy Žák David Jan / Audio Audio cd
common.buy 13.26 €
Les Chamanes de la préhistoire ((Réédition)) Jean Clottes / Boek Gebonden (paperback)
common.buy 11.74 €
Peter Tutt: Zustande In Amerika (1862) Adelbert Baudissin / Boek Gebonden (paperback)
common.buy 30.78 €
Lucky Luke - Western Circus René Goscinny / Boek Gebonden (harde band)
common.buy 12.75 €
Solo Vonda Shepard / Audio Audio cd
common.buy 23.08 €
True Love Kai-Uwe Freudenberger / Boek Gebonden (paperback)
common.buy 7.28 €
Elora im Tal der Elfen Renate Schweitzer / Boek Gebonden (paperback)
common.buy 10.93 €
Das Glucksmilieu oder die Illusion des ICH Pepe Holzer / Boek Gebonden (harde band)
common.buy 22.07 €
Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones Fabián Chavarría Solera / Boek Gebonden (paperback)
common.buy 34.93 €

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 & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Proof Theory for Description Logics
Auteur Alexandre Rademaker
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 106
EAN 9781447140016
ISBN 144714001X
Libristo-code 01425944
Uitgeverij Springer London Ltd
Gewicht 192
Afmetingen 155 x 235 x 20

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Informatica en informatietechnologie > Databanken > Dataverzameling en analyse
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic MCCLOSKEY ROBERT / Boek Gebonden (harde band)
common.buy 12.14 €
Edil's New Shoes: A tale of family, sacrifice, and reward Xingyu Wei / Boek Gebonden (paperback)
common.buy 10.32 €
Cyborg Anna Hackett / Boek Gebonden (paperback)
common.buy 12.14 €
Matisse Picasso and Gertrudis Stein: With Two Shorter Stories Gertrude Stein / Boek Gebonden (paperback)
common.buy 19.33 €
Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure Thomas Payne / Boek Gebonden (paperback)
common.buy 128.42 €
Christianity's Family Tree Participant's Guide Adam Hamilton / Boek Gebonden (paperback)
common.buy 15.08 €
Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial Moises Park / Boek Gebonden (harde band)
common.buy 88.11 €
Law at War Ammunition United States. Department of the Army Allocations Committee / Boek Gebonden (paperback)
common.buy 23.28 €
Nuclear Command and Control in NATO Shaun R. Gregory / Boek Gebonden (harde band)
common.buy 119.81 €
Wordt verwacht
Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques Kim H Pries / Boek Gebonden (harde band)
common.buy 198.00 €
65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1) Drummond III / Boek Gebonden (paperback)
common.buy 137.73 €
What We Can Never Know David Gamez / Boek Gebonden (harde band)
common.buy 154.55 €
Heritage, Labour and the Working Classes Laurajane Smith / Boek Gebonden (paperback)
common.buy 68.05 €
Draughtsmen, Botanists and Nature: Kärin Nickelsen / Boek Gebonden (harde band)
common.buy 103.10 €
Decline of the Anglo-American Middle East, 1961-1969 Tore T. Petersen / Boek Gebonden (paperback)
common.buy 58.13 €
Soul Mates Jenny Smedley / Boek Gebonden (paperback)
common.buy 19.23 €
Performing Gender Violence Barbara Ozieblo / Boek Gebonden (harde band)
common.buy 41.52 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?