Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Dual Tableaux: Foundations, Methodology, Case Studies

Language EnglishEnglish
Book Hardback
Book Dual Tableaux: Foundations, Methodology, Case Studies Ewa Orlowska
Libristo code: 01978447
Publishers Springer, November 2010
This book presents logical foundations of dual tableaux together with a number of their applications... Full description
? points 406 b
60 602 Ft
In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Manuel Complet Des Fabricans de Chapeaux En Tous Genres, (Ed.1830) Jean-Sebastien-Eugene Julia De Fontenelle / Book Paperback
common.buy 7 394 Ft
Diagnostyka laboratoryjna psów i kotów Ilse Schwendenwein / Book Hardback
common.buy 15 023 Ft
Bologna und Emilia Romagna Carl W. Macke / Book Hardback
common.buy 7 808 Ft
LOS HIJOS DEL CIELO. EL PRINCIPIO DE LA TORMENTA RED / Book Paperback
common.buy 6 824 Ft
L'imagier qui tourne pas rond - Le corps ELO / Book Hardback
common.buy 6 108 Ft
Konstruieren, Gestalten, Entwerfen Ulrich Kurz / Book Paperback
common.buy 14 892 Ft
Solterona KATE BOLICK / Book Paperback
common.buy 9 810 Ft
NOUVELLES QUESTIONS FEMINISTES, VOL. 37(1)/2018. SOLIDARITES FAMILIAL ES MODAK MARIANNE / Book Paperback
common.buy 11 171 Ft
Kultur pro 2. stupeň ZŠ collegium / Book Paperback
common.buy 4 691 Ft
L'Eveil du Leviathan (The expanse, Tome 1) James S.A. Corey / Book Paperback
common.buy 5 958 Ft
Datenaufzeichnung im Motorsport Michael Gröbel / Book Paperback
common.buy 14 129 Ft
Der Formaldehyd: Seine Darstellung Und Eigenschaften, Seine Anwendung In Der Technik Und Medicin (1901) Ludwig Vanino / Book Paperback
common.buy 8 633 Ft
Actividad antioxidante de los extractos etanólicos y acuosos Johanny Aguillon Osma / Book Paperback
common.buy 14 096 Ft
Davy Crockett Sp Emma E Haldy / Book Hardback
common.buy 11 378 Ft
40 Masterworks. Volker Luft / Book Paperback
common.buy 7 229 Ft
Blue Moon II: C'est la Réalité A E Via / Book Paperback
common.buy 6 151 Ft
Oeuvres de Berryer. Tome 1 Discours Elementaires Berryer-P / Book Paperback
common.buy 11 590 Ft
Chrestien von Troyes als Persoenlichkeit und als Dichter Heinrich Emecke / Book Paperback
common.buy 6 033 Ft
Maria, die Mutter Jesu Christi W Krüger-Velthusen / Book Paperback
common.buy 8 138 Ft
Ausfuhrliches Lexikon der griechischen und roemischen Mythologie Wilhelm Heinrich Roscher / Book Paperback
common.buy 12 692 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Dual Tableaux: Foundations, Methodology, Case Studies
Author Ewa Orlowska, Joanna Golinska-Pilarek
Language English
Binding Book - Hardback
Date of issue 2010
Number of pages 523
EAN 9789400700048
ISBN 9400700040
Libristo code 01978447
Publishers Springer
Weight 2050
Dimensions 155 x 235 x 33

Categories

Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Mathematics & Science > Mathematics > Mathematical foundations
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Errol Morris Livia Bloom / Book Paperback
common.buy 12 188 Ft
Groupware and the World Wide Web Richard Bentley / Book Paperback
common.buy 20 279 Ft
Journey of Love Alana Fairchild / Printed items Cards
common.buy 8 929 Ft
Surfaces and Essences Douglas R. Hofstadter / Book Hardback
common.buy 10 662 Ft
Top
Thelema Lenormand Oracle Renata Lechner / Printed items Cards
common.buy 6 273 Ft
Doctor Marigold DICKENS / Book Paperback
common.buy 2 717 Ft
Top
Illustrated Good Omens Terry Pratchett / Book Hardback
common.buy 13 172 Ft
Skinnytaste One and Done Gina Homolka / Book Hardback
common.buy 9 377 Ft
Running on Sunshine: How Does Solar Energy Work? Carolyn Cinami DeCristofano / Book Hardback
common.buy 5 524 Ft
Justin Bieber - Sheet Music Collection Justin Bieber / Book Book
common.buy 11 425 Ft
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 / Book Paperback
common.buy 4 808 Ft
Dark Star Rising Gary Lachman / Book Paperback
common.buy 8 976 Ft
Meaning by Shakespeare Terence Hawkes / Book Hardback
common.buy 102 569 Ft
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 / Book Paperback
common.buy 6 151 Ft
How The Illuminati Create An Undetectable Total Mind Controlled Slave Illuminati Formula / Book Paperback
common.buy 11 067 Ft
NUDES Coloring Book Karl Gude / Book Paperback
common.buy 4 017 Ft
Metamathematics of First-Order Arithmetic Petr Hajek / Book Hardback
common.buy 78 720 Ft
Top
Managing Oneself Peter Ferdinand Drucker / Book Hardback
common.buy 6 273 Ft
Top
The Big Book of Dashboards Steve Wexler / Book Paperback
common.buy 15 607 Ft
Great Gatsby and Other Classic Works Francis Scott Fitzgerald / Book Hardback
common.buy 13 516 Ft
Top
Grotsnik: Da Mad Dok FLOWERS DENNY / Book Hardback
common.buy 6 720 Ft
Exploring the Cultural Phenomenon of the Dick Pic Waling / Book Hardback
common.buy 80 900 Ft
Innovation Driven Institutional Research Ronnie Lessem / E-book Adobe ePub DRM
common.buy 12 334 Ft
Top
Witch Hat Atelier 10 Kamome Shirahama / Book Paperback
common.buy 4 719 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?