A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Proof Theory for Description Logics

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Proof Theory for Description Logics Alexandre Rademaker
Libristo kód: 01425944
Kiadó Springer London Ltd, május 2012
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are... Teljes leírás
? points 140 b
20 811 Ft
Kiadói készleten rendelésre Küldés 17-27 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

True Love Kai-Uwe Freudenberger / Könyv Puha kötésű
common.buy 2 871 Ft
Lucky Luke - Western Circus René Goscinny / Könyv Kemény kötésű
common.buy 5 057 Ft
Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe Schwing-N-P / Könyv Puha kötésű
common.buy 4 940 Ft
Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones Fabián Chavarría Solera / Könyv Puha kötésű
common.buy 13 731 Ft
Das Glucksmilieu oder die Illusion des ICH Pepe Holzer / Könyv Kemény kötésű
common.buy 7 558 Ft
Solo Vonda Shepard / Hanganyagok Audio CD
common.buy 8 956 Ft
Peter Tutt: Zustande In Amerika (1862) Adelbert Baudissin / Könyv Puha kötésű
common.buy 11 902 Ft
Les Chamanes de la préhistoire ((Réédition)) Jean Clottes / Könyv Puha kötésű
common.buy 4 208 Ft
Návrat Krále Šumavy Žák David Jan / Hanganyagok Audio CD
common.buy 4 776 Ft
UVA ALIMENTOS SANOS VALPIANA / Könyv Könyv
common.buy 2 439 Ft
Súvislosti Pavol Stanislav / Könyv Puha kötésű
common.buy 1 281 Ft
Tonio et son ami magique Meilliez / Könyv Puha kötésű
common.buy 5 949 Ft
Elora im Tal der Elfen Renate Schweitzer / Könyv Puha kötésű
common.buy 4 283 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Proof Theory for Description Logics
Szerző Alexandre Rademaker
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2012
Oldalszám 106
EAN 9781447140016
ISBN 144714001X
Libristo kód 01425944
Kiadó Springer London Ltd
Súly 192
Méretek 155 x 235 x 20

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára
Számítástechnika és információtechnológia > Adatbázisok > Adatbefogás és elemzés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial Moises Park / Könyv Kemény kötésű
common.buy 34 350 Ft
Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic MCCLOSKEY ROBERT / Könyv Kemény kötésű
common.buy 4 583 Ft
Edil's New Shoes: A tale of family, sacrifice, and reward Xingyu Wei / Könyv Puha kötésű
common.buy 4 016 Ft
Scenic Route to Purpose E. Danielle Butler / Könyv Puha kötésű
common.buy 5 935 Ft
Cyborg Anna Hackett / Könyv Puha kötésű
common.buy 4 729 Ft
Matisse Picasso and Gertrudis Stein: With Two Shorter Stories Gertrude Stein / Könyv Puha kötésű
common.buy 7 544 Ft
Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure Thomas Payne / Könyv Puha kötésű
common.buy 49 507 Ft
Christianity's Family Tree Participant's Guide Adam Hamilton / Könyv Puha kötésű
common.buy 5 949 Ft
Hamarosan
Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques Kim H Pries / Könyv Kemény kötésű
common.buy 71 153 Ft
Law at War Ammunition United States. Department of the Army Allocations Committee / Könyv Puha kötésű
common.buy 8 942 Ft
Nuclear Command and Control in NATO Shaun R. Gregory / Könyv Kemény kötésű
common.buy 42 325 Ft
Draughtsmen, Botanists and Nature: Kärin Nickelsen / Könyv Kemény kötésű
common.buy 40 284 Ft
Performing Gender Violence Barbara Ozieblo / Könyv Kemény kötésű
common.buy 16 424 Ft
Soul Mates Jenny Smedley / Könyv Puha kötésű
common.buy 6 934 Ft
Heritage, Labour and the Working Classes Laurajane Smith / Könyv Puha kötésű
common.buy 26 196 Ft
65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1) Drummond III / Könyv Puha kötésű
common.buy 53 378 Ft
Decline of the Anglo-American Middle East, 1961-1969 Tore T. Petersen / Könyv Puha kötésű
common.buy 22 270 Ft
What We Can Never Know David Gamez / Könyv Kemény kötésű
common.buy 55 564 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?