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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 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.

Dual Tableaux: Foundations, Methodology, Case Studies

Limba englezăengleză
Carte Copertă tare
Carte Dual Tableaux: Foundations, Methodology, Case Studies Ewa Orlowska
Codul Libristo: 01978447
Editura Springer, noiembrie 2010
This book presents logical foundations of dual tableaux together with a number of their applications... Descrierea completă
? points 394 b
849.06 lei
În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Manuel Complet Des Fabricans de Chapeaux En Tous Genres, (Ed.1830) Jean-Sebastien-Eugene Julia De Fontenelle / Carte Carte broșată
common.buy 121.36 lei
Diagnostyka laboratoryjna psów i kotów Ilse Schwendenwein / Carte Copertă tare
common.buy 216.32 lei
Bologna und Emilia Romagna Carl W. Macke / Carte Copertă tare
common.buy 109.35 lei
LOS HIJOS DEL CIELO. EL PRINCIPIO DE LA TORMENTA RED / Carte Carte broșată
common.buy 98.78 lei
L'imagier qui tourne pas rond - Le corps ELO / Carte Copertă tare
common.buy 89.26 lei
Elektrické motory a pohony Ota Roubíček / Carte Carte broșată
common.buy 95.57 lei
Konstruieren, Gestalten, Entwerfen Ulrich Kurz / Carte Carte broșată
common.buy 208.35 lei
Solterona KATE BOLICK / Carte Carte broșată
common.buy 142.07 lei
NOUVELLES QUESTIONS FEMINISTES, VOL. 37(1)/2018. SOLIDARITES FAMILIAL ES MODAK MARIANNE / Carte Carte broșată
common.buy 162.16 lei
Kultur pro 2. stupeň ZŠ collegium / Carte Carte broșată
common.buy 69.17 lei
L'Eveil du Leviathan (The expanse, Tome 1) James S.A. Corey / Carte Carte broșată
common.buy 87.29 lei
Datenaufzeichnung im Motorsport Michael Gröbel / Carte Carte broșată
common.buy 197.58 lei
Der Formaldehyd: Seine Darstellung Und Eigenschaften, Seine Anwendung In Der Technik Und Medicin (1901) Ludwig Vanino / Carte Carte broșată
common.buy 121.36 lei
Actividad antioxidante de los extractos etanólicos y acuosos Johanny Aguillon Osma / Carte Carte broșată
common.buy 197.06 lei
Davy Crockett Sp Emma E Haldy / Carte Copertă tare
common.buy 159.37 lei
40 Masterworks. Volker Luft / Carte Carte broșată
common.buy 104.58 lei
Blue Moon II: C'est la Réalité A E Via / Carte Carte broșată
common.buy 86.46 lei
Oeuvres de Berryer. Tome 1 Discours Elementaires Berryer-P / Carte Carte broșată
common.buy 181.11 lei
Chrestien von Troyes als Persoenlichkeit und als Dichter Heinrich Emecke / Carte Carte broșată
common.buy 84.29 lei
Maria, die Mutter Jesu Christi W Krüger-Velthusen / Carte Carte broșată
common.buy 113.59 lei
Ausfuhrliches Lexikon der griechischen und roemischen Mythologie Wilhelm Heinrich Roscher / Carte Carte broșată
common.buy 177.49 lei

This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in a relational language which provides useful means of presentation of the theories. In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particular theory.

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 Dual Tableaux: Foundations, Methodology, Case Studies
Autor Ewa Orlowska, Joanna Golinska-Pilarek
Limba engleză
Legare Carte - Copertă tare
Data publicării 2010
Număr pagini 523
EAN 9789400700048
ISBN 9400700040
Codul Libristo 01978447
Editura Springer
Greutatea 2050
Dimensiuni 155 x 235 x 33

Categorii

Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Mathematics & Science > Mathematics > Mathematical foundations
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Errol Morris Livia Bloom / Carte Carte broșată
common.buy 167.55 lei
Groupware and the World Wide Web Richard Bentley / Carte Carte broșată
common.buy 284.05 lei
Top
Journey of Love Alana Fairchild / Materiale tipărite Cărți
common.buy 124.67 lei
Surfaces and Essences Douglas R. Hofstadter / Carte Copertă tare
common.buy 138.24 lei
Top
Thelema Lenormand Oracle Renata Lechner / Materiale tipărite Cărți
common.buy 88.84 lei
Doctor Marigold DICKENS / Carte Carte broșată
common.buy 38.20 lei
Top
Illustrated Good Omens Terry Pratchett / Carte Copertă tare
common.buy 178.94 lei
Top
Skinnytaste One and Done Gina Homolka / Carte Copertă tare
common.buy 130.47 lei
Running on Sunshine: How Does Solar Energy Work? Carolyn Cinami DeCristofano / Carte Copertă tare
common.buy 76.93 lei
Justin Bieber - Sheet Music Collection Justin Bieber / Carte Carte
common.buy 165.79 lei
The Little Box of Life's Big Lessons (Boxed Set): Daniel Learns to Share; Friends Help Each Other; Thank You Day; Daniel Plays at School Various / Carte Carte broșată
common.buy 67.10 lei
Dark Star Rising Gary Lachman / Carte Carte broșată
common.buy 125.50 lei
Meaning by Shakespeare Terence Hawkes / Carte Copertă tare
common.buy 1 442.97 lei
Report on an Investigation of Buttermilk Flavoring Exposures and Respiratory Health at a Bakery Mix Production Facility: Health Hazard Evaluation Repo Dr Gregory a Day / Carte Carte broșată
common.buy 86.46 lei
How The Illuminati Create An Undetectable Total Mind Controlled Slave Illuminati Formula / Carte Carte broșată
common.buy 155.22 lei
NUDES Coloring Book Karl Gude / Carte Carte broșată
common.buy 56.53 lei
Top
Metamathematics of First-Order Arithmetic Petr Hajek / Carte Copertă tare
common.buy 1 107.34 lei
Top
Managing Oneself Peter Ferdinand Drucker / Carte Copertă tare
common.buy 87.29 lei
The Big Book of Dashboards Steve Wexler / Carte Carte broșată
common.buy 217.77 lei
Great Gatsby and Other Classic Works Francis Scott Fitzgerald / Carte Copertă tare
common.buy 183.08 lei
Top
Grotsnik: Da Mad Dok FLOWERS DENNY / Carte Copertă tare
common.buy 91.43 lei
Exploring the Cultural Phenomenon of the Dick Pic Waling / Carte Copertă tare
common.buy 1 139.34 lei
Innovation Driven Institutional Research Ronnie Lessem / E-book Adobe ePub DRM
common.buy 175.11 lei
Top
Witch Hat Atelier 10 Kamome Shirahama / Carte Carte broșată
common.buy 56.74 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?