Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Labelled Deduction

Język AngielskiAngielski
Książka Miękka
Książka Labelled Deduction David Basin
Kod Libristo: 06622611
Wydawnictwo Springer, październik 2012
Labelled deduction is an approach to providing frameworks for presenting and using different logics... Cały opis
? points 249 b
436.21 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Silva de extravagancias Antonio Porpetta / Książka Miękka
common.buy 54.04 zł
16 de diciembre: El gran extra de Navidad - un calendario erotico de Navidad Schmidt / Audiobook MP3
common.buy 16.84 zł
The Eminence in Shadow - Vol. 2 / Wideo Blu-ray
common.buy 249.29 zł
Ostrov stratených stromov Elif Shafaková / Książka Twarda
common.buy 82.62 zł
TOP
Duše světa Roger Scruton / Książka Miękka
common.buy 52.54 zł
Jsi bez hranic Katy Yaksha / Książka Miękka
common.buy 27.47 zł
La Santa Muerte: El culto de los que oran y de los que matan Heber Casal Saenz / Książka Miękka
common.buy 47.42 zł
Cartuja de la Defensión, Convento de Santo Domingo AGUAYO COBO / Książka Miękka
common.buy 66.88 zł
Theoretische Grundlagen der allgemeinen Kristalldiagnose im durchfallenden Licht R. Rath / Książka Miękka
common.buy 224.72 zł
Valorisation Des Rebuts de Dattes Dans Des Rations Pour Ovins Lamia Mebirouk-Boudechiche / Książka Miękka
common.buy 260.42 zł
Entwicklung einer RFID Interface-Anwendung Andreas Link / Książka Miękka
common.buy 292.01 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Labelled Deduction
Autor David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 267
EAN 9789401057813
ISBN 9789401057813
Kod Libristo 06622611
Wydawnictwo Springer
Waga 438
Wymiary 155 x 235 x 16

Kategoria

Filozofia i religia > Filozofia > Działy filozofii > Logika (filozofia)
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Arshile Gorky Hayden Herrera / Książka Twarda
common.buy 168.36 zł
Tanie
Voyage ABBA / Audio CD Audio
common.buy 22.95 zł
TOP
Spy x Family, Vol. 7 Tatsuya Endo / Książka Miękka
common.buy 35.69 zł
Intermittent Fasting: Complete Beginner's Guide To Lose Weight, Burn Fat And Stay Healthy Through Intermittent Fasting Elizabeth Wells / Książka Miękka
common.buy 56.75 zł
TOP
Fight Club Chuck Palahniuk / Książka Miękka
common.buy 41.10 zł
TOP
The Idiot Elif Batuman / Książka Miękka
common.buy 39.50 zł
The Great War Syndicate Frank Richard Stockton / Książka Miękka
common.buy 32.38 zł
Astrological Practice of Physick: Discovering the True Way to Cure All Kinds of Diseases and Infirmities Joseph Blagrave / Książka Miękka
common.buy 113.91 zł
9 Strategies to BUILD and GROW Your Author Platform: A Step-by-Step Book Marketing Plan to Get More Exposure and Sales Shelley Hitz / Książka Miękka
common.buy 32.18 zł
Problem of Sociology Lee / Książka Twarda
common.buy 1 083.32 zł
Coco the gat 4. A hedgehog at home Gérard Moncomble / Książka Miękka
common.buy 57.55 zł
Cry Havoc: How the Arms Race Drove the World to War, 1931-1941 Joseph Maiolo / Książka Miękka
common.buy 126.74 zł
Creating Our Identities in Service-learning and Community Engagement Shelley H. Billig / Książka Twarda
common.buy 511.62 zł
Outrunner Odyssey Thompson / Książka Twarda
common.buy 79.11 zł
TOP
Grendel: The Devil Inside Matt Wagner / Książka Miękka
common.buy 58.96 zł
Signal Processing Louis Auslander / Książka Miękka
common.buy 436.21 zł
Zapowiedź
IMPROVING HEALTH NUTRITION World Bank Group / Książka Miękka
common.buy 101.17 zł
When Things Go Wrong Charles F. Hermann / Książka Miękka
common.buy 349.37 zł
Vernacular Architecture in the 21st Century Lindsay Asquith / Książka Miękka
common.buy 318.58 zł
Digital-to-Analog Conversion in High Resolution Audio Ivar Lokken / Książka Miękka
common.buy 300.23 zł
Implementation of Genetic Algorithms in FPGA-based Systems Nahid Alam / Książka Miękka
common.buy 211.58 zł
Mahavatar Babaji Speaks / Książka Miękka
common.buy 70.19 zł
DENTAL IMPLANT ABUTMENT CONNECTION Vilas Patel / Książka Miękka
common.buy 230.03 zł
Carol's Counsel, Comedies, & Calamities Carol Dold / Książka Miękka
common.buy 106.79 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?