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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
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
103.27 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Silva de extravagancias Antonio Porpetta / Knjiga Meki uvez
common.buy 12.06 €
Beastmaking NED FEEHALLY / Knjiga Meki uvez
common.buy 24.54 €
Analecta Hymnica Medii Aevi Guido Maria Dreves / Knjiga Meki uvez
common.buy 21.29 €
Duše světa Roger Scruton / Knjiga Meki uvez
common.buy 13.58 €
Red Line. Ausgabe ab 2014 - 7. Klasse, Schülerbuch. Bd.3 Frank Haß / Knjiga Tvrdi uvez
common.buy 31.54 €
16 de diciembre: El gran extra de Navidad - un calendario erotico de Navidad Schmidt / Audio knjiga MP3
common.buy 3.84 €
The Eminence in Shadow - Vol. 2 / Video Blu-ray
common.buy 59.03 €
Ostrov stratených stromov Elif Shafaková / Knjiga Tvrdi uvez
common.buy 18.15 €
Cartuja de la Defensión, Convento de Santo Domingo AGUAYO COBO / Knjiga Meki uvez
common.buy 15.00 €
Alte Liebe Und Anderes. Novellen Wilhelmine Heimburg / Knjiga Meki uvez
common.buy 11.76 €
Jsi bez hranic Katy Yaksha / Knjiga Meki uvez
common.buy 6.48 €
La Santa Muerte: El culto de los que oran y de los que matan Heber Casal Saenz / Knjiga Meki uvez
common.buy 11.25 €
Gotteslob Taschenausgabe Region Ost. Cabra-Leder, schwarz Bischöfe Deutschlands / Knjiga Meki uvez
common.buy 29.92 €
Theoretische Grundlagen der allgemeinen Kristalldiagnose im durchfallenden Licht R. Rath / Knjiga Meki uvez
common.buy 53.25 €
Entwicklung einer RFID Interface-Anwendung Andreas Link / Knjiga Meki uvez
common.buy 65.32 €
Valorisation Des Rebuts de Dattes Dans Des Rations Pour Ovins Lamia Mebirouk-Boudechiche / Knjiga Meki uvez
common.buy 61.67 €

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.86 €
Finding the Bright Side: Actively seeking and finding the bright side of Alzheimer's Disease Marlene Krafft Beckner / Knjiga Meki uvez
common.buy 12.16 €
Creating Our Identities in Service-learning and Community Engagement Shelley H. Billig / Knjiga Tvrdi uvez
common.buy 121.12 €
Cry Havoc: How the Arms Race Drove the World to War, 1931-1941 Joseph Maiolo / Knjiga Meki uvez
common.buy 30.02 €
Coco the gat 4. A hedgehog at home Gérard Moncomble / Knjiga Meki uvez
common.buy 12.87 €
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.60 €
Astrological Practice of Physick: Discovering the True Way to Cure All Kinds of Diseases and Infirmities Joseph Blagrave / Knjiga Meki uvez
common.buy 26.98 €
The Great War Syndicate Frank Richard Stockton / Knjiga Meki uvez
common.buy 7.70 €
Top
The Idiot Elif Batuman / Knjiga Meki uvez
common.buy 9.32 €
Top
Fight Club Chuck Palahniuk / Knjiga Meki uvez
common.buy 11.86 €
Problem of Sociology Lee / Knjiga Tvrdi uvez
common.buy 292.88 €
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.38 €
Top
Spy x Family, Vol. 7 Tatsuya Endo / Knjiga Meki uvez
common.buy 8.41 €
Povoljno
Voyage ABBA / Audio Audio CD
common.buy 5.47 €
Oxford Textbook of Advanced Heart Failure and Cardiac Transplantation Michael J. Domanski / E-knjiga Adobe ePub DRM
common.buy 146.89 €
DENTAL IMPLANT ABUTMENT CONNECTION Vilas Patel / Knjiga Meki uvez
common.buy 54.47 €
Mahavatar Babaji Speaks / Knjiga Meki uvez
common.buy 16.63 €
Real estate management and rental conditions in Congo Ulrich Salem GUEBO / Knjiga Meki uvez
common.buy 39.35 €
Beware of Real Estate Rip-Offs W Millerd Porter / Knjiga Meki uvez
common.buy 15.82 €
Top
Back Home Michelle Magorian / Knjiga Meki uvez
common.buy 9.73 €
Toulouse-Lautrec Matthias Arnold / Knjiga Tvrdi uvez
common.buy 18.45 €
Vernacular Architecture in the 21st Century Lindsay Asquith / Knjiga Meki uvez
common.buy 78.51 €
Grendel: The Devil Inside Matt Wagner / Knjiga Meki uvez
common.buy 13.99 €
Signal Processing Louis Auslander / Knjiga Meki uvez
common.buy 103.27 €

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?