Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Labelled Deduction

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Labelled Deduction David Basin
Libristo kod: 06622611
Nakladnici Springer, listopad 2012
Labelled deduction is an approach to providing frameworks for presenting and using different logics... Cijeli opis
? points 249 b
102.78 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Silva de extravagancias Antonio Porpetta / Knjiga Meki uvez
common.buy 12.21 €
16 de diciembre: El gran extra de Navidad - un calendario erotico de Navidad Schmidt / Audio knjiga MP3
common.buy 3.73 €
The Eminence in Shadow - Vol. 2 / Video Blu-ray
common.buy 58.75 €
Ostrov stratených stromov Elif Shafaková / Knjiga Tvrdi uvez
common.buy 18.06 €
Top
Duše světa Roger Scruton / Knjiga Meki uvez
common.buy 12.41 €
Jsi bez hranic Katy Yaksha / Knjiga Meki uvez
common.buy 6.45 €
La Santa Muerte: El culto de los que oran y de los que matan Heber Casal Saenz / Knjiga Meki uvez
common.buy 11.20 €
Cartuja de la Defensión, Convento de Santo Domingo AGUAYO COBO / Knjiga Meki uvez
common.buy 15.03 €
Theoretische Grundlagen der allgemeinen Kristalldiagnose im durchfallenden Licht R. Rath / Knjiga Meki uvez
common.buy 53.00 €
Valorisation Des Rebuts de Dattes Dans Des Rations Pour Ovins Lamia Mebirouk-Boudechiche / Knjiga Meki uvez
common.buy 61.38 €
Entwicklung einer RFID Interface-Anwendung Andreas Link / Knjiga Meki uvez
common.buy 65.22 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Labelled Deduction
Autor David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2012
Broj stranica 267
EAN 9789401057813
ISBN 9789401057813
Libristo kod 06622611
Nakladnici Springer
Težina 438
Dimenzije 155 x 235 x 16

Kategorija

Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Arshile Gorky Hayden Herrera / Knjiga Tvrdi uvez
common.buy 39.67 €
Povoljno
Voyage ABBA / Audio Audio CD
common.buy 5.44 €
Top
Spy x Family, Vol. 7 Tatsuya Endo / Knjiga Meki uvez
common.buy 8.37 €
Intermittent Fasting: Complete Beginner's Guide To Lose Weight, Burn Fat And Stay Healthy Through Intermittent Fasting Elizabeth Wells / Knjiga Meki uvez
common.buy 13.32 €
Top
Fight Club Chuck Palahniuk / Knjiga Meki uvez
common.buy 10.29 €
Top
The Idiot Elif Batuman / Knjiga Meki uvez
common.buy 9.28 €
The Great War Syndicate Frank Richard Stockton / Knjiga Meki uvez
common.buy 7.66 €
Astrological Practice of Physick: Discovering the True Way to Cure All Kinds of Diseases and Infirmities Joseph Blagrave / Knjiga Meki uvez
common.buy 26.85 €
9 Strategies to BUILD and GROW Your Author Platform: A Step-by-Step Book Marketing Plan to Get More Exposure and Sales Shelley Hitz / Knjiga Meki uvez
common.buy 7.56 €
Problem of Sociology Lee / Knjiga Tvrdi uvez
common.buy 255.34 €
Coco the gat 4. A hedgehog at home Gérard Moncomble / Knjiga Meki uvez
common.buy 12.91 €
Cry Havoc: How the Arms Race Drove the World to War, 1931-1941 Joseph Maiolo / Knjiga Meki uvez
common.buy 29.88 €
Creating Our Identities in Service-learning and Community Engagement Shelley H. Billig / Knjiga Tvrdi uvez
common.buy 120.55 €
Outrunner Odyssey Thompson / Knjiga Tvrdi uvez
common.buy 18.67 €
Top
Grendel: The Devil Inside Matt Wagner / Knjiga Meki uvez
common.buy 13.92 €
Signal Processing Louis Auslander / Knjiga Meki uvez
common.buy 102.78 €
Pripremamo
IMPROVING HEALTH NUTRITION World Bank Group / Knjiga Meki uvez
common.buy 22.71 €
When Things Go Wrong Charles F. Hermann / Knjiga Meki uvez
common.buy 82.38 €
Vernacular Architecture in the 21st Century Lindsay Asquith / Knjiga Meki uvez
common.buy 75.11 €
Digital-to-Analog Conversion in High Resolution Audio Ivar Lokken / Knjiga Meki uvez
common.buy 70.77 €
Implementation of Genetic Algorithms in FPGA-based Systems Nahid Alam / Knjiga Meki uvez
common.buy 47.24 €
Mahavatar Babaji Speaks / Knjiga Meki uvez
common.buy 16.55 €
DENTAL IMPLANT ABUTMENT CONNECTION Vilas Patel / Knjiga Meki uvez
common.buy 54.21 €
Carol's Counsel, Comedies, & Calamities Carol Dold / Knjiga Meki uvez
common.buy 25.13 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?