Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Labelled Deduction

Limba englezăengleză
Carte Carte broșată
Carte Labelled Deduction David Basin
Codul Libristo: 06622611
Editura Springer, octombrie 2012
Labelled deduction is an approach to providing frameworks for presenting and using different logics... Descrierea completă
? points 263 b
569.01 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Silva de extravagancias Antonio Porpetta / Carte Carte broșată
common.buy 66.87 lei
16 de diciembre: El gran extra de Navidad - un calendario erotico de Navidad Schmidt / Audiobook MP3
common.buy 20.79 lei
The Eminence in Shadow - Vol. 2 / Videoclip Blu-ray
common.buy 322.93 lei
Ostrov stratených stromov Elif Shafaková / Carte Copertă tare
common.buy 102.23 lei
Top
Duše světa Roger Scruton / Carte Carte broșată
common.buy 68.84 lei
Jsi bez hranic Katy Yaksha / Carte Carte broșată
common.buy 36.18 lei
La Santa Muerte: El culto de los que oran y de los que matan Heber Casal Saenz / Carte Carte broșată
common.buy 61.77 lei
Cartuja de la Defensión, Convento de Santo Domingo AGUAYO COBO / Carte Carte broșată
common.buy 82.78 lei
Theoretische Grundlagen der allgemeinen Kristalldiagnose im durchfallenden Licht R. Rath / Carte Carte broșată
common.buy 293.08 lei
Valorisation Des Rebuts de Dattes Dans Des Rations Pour Ovins Lamia Mebirouk-Boudechiche / Carte Carte broșată
common.buy 341.13 lei
Entwicklung einer RFID Interface-Anwendung Andreas Link / Carte Carte broșată
common.buy 361.31 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Labelled Deduction
Autor David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 267
EAN 9789401057813
ISBN 9789401057813
Codul Libristo 06622611
Editura Springer
Greutatea 438
Dimensiuni 155 x 235 x 16

Categorii

Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Computing & Information Technology > Computer science > Artificial intelligence
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Arshile Gorky Hayden Herrera / Carte Copertă tare
common.buy 219.86 lei
Cry Havoc: How the Arms Race Drove the World to War, 1931-1941 Joseph Maiolo / Carte Carte broșată
common.buy 163.28 lei
Leftin
Voyage ABBA / Audio Audio CD
common.buy 28.38 lei
Top
Spy x Family, Vol. 7 Tatsuya Endo / Carte Carte broșată
common.buy 47.00 lei
Intermittent Fasting: Complete Beginner's Guide To Lose Weight, Burn Fat And Stay Healthy Through Intermittent Fasting Elizabeth Wells / Carte Carte broșată
common.buy 73.83 lei
Top
Fight Club Chuck Palahniuk / Carte Carte broșată
common.buy 57.40 lei
Top
The Idiot Elif Batuman / Carte Carte broșată
common.buy 52.41 lei
The Great War Syndicate Frank Richard Stockton / Carte Carte broșată
common.buy 42.22 lei
Astrological Practice of Physick: Discovering the True Way to Cure All Kinds of Diseases and Infirmities Joseph Blagrave / Carte Carte broșată
common.buy 147.89 lei
9 Strategies to BUILD and GROW Your Author Platform: A Step-by-Step Book Marketing Plan to Get More Exposure and Sales Shelley Hitz / Carte Carte broșată
common.buy 42.01 lei
Problem of Sociology Lee / Carte Copertă tare
common.buy 1 399.82 lei
Coco the gat 4. A hedgehog at home Gérard Moncomble / Carte Carte broșată
common.buy 71.23 lei
Creating Our Identities in Service-learning and Community Engagement Shelley H. Billig / Carte Copertă tare
common.buy 659.91 lei
Back Home Michelle Magorian / Carte Carte broșată
common.buy 54.59 lei
Vernacular Architecture in the 21st Century Lindsay Asquith / Carte Carte broșată
common.buy 411.75 lei
Top
Grendel: The Devil Inside Matt Wagner / Carte Carte broșată
common.buy 76.85 lei
Signal Processing Louis Auslander / Carte Carte broșată
common.buy 569.01 lei
Curând
IMPROVING HEALTH NUTRITION World Bank Group / Carte Carte broșată
common.buy 125.21 lei
When Things Go Wrong Charles F. Hermann / Carte Carte broșată
common.buy 451.38 lei
Carol's Counsel, Comedies, & Calamities Carol Dold / Carte Carte broșată
common.buy 138.22 lei
Digital-to-Analog Conversion in High Resolution Audio Ivar Lokken / Carte Carte broșată
common.buy 389.39 lei
Implementation of Genetic Algorithms in FPGA-based Systems Nahid Alam / Carte Carte broșată
common.buy 261.88 lei
Mahavatar Babaji Speaks / Carte Carte broșată
common.buy 91.00 lei
DENTAL IMPLANT ABUTMENT CONNECTION Vilas Patel / Carte Carte broșată
common.buy 301.30 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?