Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Labelled Deduction

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Labelled Deduction David Basin
Libristo kód: 06622611
Nakladatelství Springer, říjen 2012
Labelled deduction is an approach to providing frameworks for presenting and using different logics... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Silva de extravagancias Antonio Porpetta / Kniha Brožovaná
common.buy 309 Kč
16 de diciembre: El gran extra de Navidad - un calendario erotico de Navidad Schmidt / Audiokniha MP3
common.buy 96 Kč
The Eminence in Shadow - Vol. 2 / Video Blu-ray
common.buy 1 356 Kč
Ostrov stratených stromov Elif Shafaková / Kniha Pevná
common.buy 419 Kč
Top
Duše světa Roger Scruton / Kniha Brožovaná
common.buy 245 Kč
Jsi bez hranic Katy Yaksha / Kniha Brožovaná
common.buy 147 Kč
La Santa Muerte: El culto de los que oran y de los que matan Heber Casal Saenz / Kniha Brožovaná
common.buy 244 Kč
Cartuja de la Defensión, Convento de Santo Domingo AGUAYO COBO / Kniha Brožovaná
common.buy 382 Kč
Theoretische Grundlagen der allgemeinen Kristalldiagnose im durchfallenden Licht R. Rath / Kniha Brožovaná
common.buy 1 214 Kč
Valorisation Des Rebuts de Dattes Dans Des Rations Pour Ovins Lamia Mebirouk-Boudechiche / Kniha Brožovaná
common.buy 1 400 Kč
Entwicklung einer RFID Interface-Anwendung Andreas Link / Kniha Brožovaná
common.buy 1 668 Kč

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. §Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Labelled Deduction
Autor David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 267
EAN 9789401057813
ISBN 9789401057813
Libristo kód 06622611
Nakladatelství Springer
Váha 438
Rozměry 155 x 235 x 16

Kategorie

Filozofie a náboženství > Filozofie > Filozofická témata > Filozofie: logika
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Arshile Gorky Hayden Herrera / Kniha Pevná
common.buy 908 Kč
Levně
Voyage ABBA / Audio Audio CD
common.buy 250 Kč
Top
Spy x Family, Vol. 7 Tatsuya Endo / Kniha Brožovaná
common.buy 193 Kč
Intermittent Fasting: Complete Beginner's Guide To Lose Weight, Burn Fat And Stay Healthy Through Intermittent Fasting Elizabeth Wells / Kniha Brožovaná
common.buy 308 Kč
Top
Fight Club Chuck Palahniuk / Kniha Brožovaná
common.buy 265 Kč
Top
The Idiot Elif Batuman / Kniha Brožovaná
common.buy 210 Kč
The Great War Syndicate Frank Richard Stockton / Kniha Brožovaná
common.buy 176 Kč
Astrological Practice of Physick: Discovering the True Way to Cure All Kinds of Diseases and Infirmities Joseph Blagrave / Kniha Brožovaná
common.buy 619 Kč
9 Strategies to BUILD and GROW Your Author Platform: A Step-by-Step Book Marketing Plan to Get More Exposure and Sales Shelley Hitz / Kniha Brožovaná
common.buy 175 Kč
Problem of Sociology Lee / Kniha Pevná
common.buy 5 915 Kč
Coco the gat 4. A hedgehog at home Gérard Moncomble / Kniha Brožovaná
common.buy 329 Kč
Cry Havoc: How the Arms Race Drove the World to War, 1931-1941 Joseph Maiolo / Kniha Brožovaná
common.buy 695 Kč
Creating Our Identities in Service-learning and Community Engagement Shelley H. Billig / Kniha Pevná
common.buy 2 799 Kč
Outrunner Odyssey Thompson / Kniha Pevná
common.buy 424 Kč
Top
Grendel: The Devil Inside Matt Wagner / Kniha Brožovaná
common.buy 318 Kč
Signal Processing Louis Auslander / Kniha Brožovaná
common.buy 2 357 Kč
Připravujeme
IMPROVING HEALTH NUTRITION World Bank Group / Kniha Brožovaná
common.buy 580 Kč
When Things Go Wrong Charles F. Hermann / Kniha Brožovaná
common.buy 1 907 Kč
Vernacular Architecture in the 21st Century Lindsay Asquith / Kniha Brožovaná
common.buy 1 740 Kč
Digital-to-Analog Conversion in High Resolution Audio Ivar Lokken / Kniha Brožovaná
common.buy 1 632 Kč
Implementation of Genetic Algorithms in FPGA-based Systems Nahid Alam / Kniha Brožovaná
common.buy 1 209 Kč
Mahavatar Babaji Speaks / Kniha Brožovaná
common.buy 362 Kč
DENTAL IMPLANT ABUTMENT CONNECTION Vilas Patel / Kniha Brožovaná
common.buy 1 237 Kč
Carol's Counsel, Comedies, & Calamities Carol Dold / Kniha Brožovaná
common.buy 582 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?