Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

R-Calculus, II: Many-Valued Logics

Język AngielskiAngielski
Książka Twarda
Książka R-Calculus, II: Many-Valued Logics Wei Li
Kod Libristo: 38573903
Wydawnictwo Springer Verlag, Singapore, kwiecień 2022
This second volume of the book series shows R-calculus is a combination of one monotonic tableau pro... Cały opis
? points 373 b
663.72 zł
Dostępna u dostawcy Wysyłamy za 10-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Wheels The Friendship Race (Korean English Bilingual Book) Inna Nusinsky / Książka Twarda
common.buy 111.80 zł
Tittenbonus Ben Sinninger / Książka Miękka
common.buy 38.89 zł
Fotografía y derechos de autor Bouza López / Książka Miękka
common.buy 154.47 zł
FUNDAMENTOS EN LA PRACTICA DE AUTOPSIA Y MEDICINA LEGAL. PALAFOX VEGA / Książka Książka
common.buy 309.05 zł
Lingue d'Europa. Elementi di storia e di tipologia linguistica Emanuele Banfi / Książka Miękka
common.buy 136.54 zł
Cépages Suisses - Histoires et origines Jose Vouillamoz / Książka Miękka
common.buy 117.71 zł
Handbuch Nachhaltigkeit im Vergaberecht Irene Lausen / Książka Twarda
common.buy 575.03 zł
Sistema de vigilancia de la contaminación ambiental basado en la IoT / Książka Miękka
common.buy 195.50 zł
Karatehunden Bj Rn Rasmussen / Książka Miękka
common.buy 39.30 zł
Zábavné tvoření Alena Grimmichová / Książka Twarda
common.buy 32.37 zł
El Tigre dentro de mí Stephanie Margolese / Książka Miękka
common.buy 67.71 zł
Voyage Autour Du Monde: Australie Beauvoir-L / Książka Miękka
common.buy 121.37 zł
Esclavage de la Race Noire Aux Colonies Francaises Levavasseur-C / Książka Miękka
common.buy 64.65 zł
C# im Detail: Implementierungen analysiert Christian Benjamin Ries / Książka Miękka
common.buy 37.87 zł
Hannah Arendts kommunikatives Machtverstandnis als Moeglichkeit gewaltfreier Politik Marvin Just / Książka Miękka
common.buy 69.64 zł
L'Amiral de Bretagne, Roman Inedit Tome 2 Mesnard-E / Książka Miękka
common.buy 112.82 zł
Un mundo en quiebra : de la globalización a otro mundo (im)posible Bernardo Pérez Andreo / Książka Miękka
common.buy 91.54 zł
Nase vorn! - Deutsch - Übungshefte - 2. Schuljahr Annemarie Rendtorff-Roßnagel / Książka Miękka
common.buy 21.17 zł
Innovacionnoe razvitie goskompanij jelektrojenergeticheskoj otrasli Vladimir Alexandrov / Książka Miękka
common.buy 201.00 zł

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa R-Calculus, II: Many-Valued Logics
Autor Wei Li, Yuefei Sui
Język Angielski
Oprawa Książka - Twarda
Data wydania 2022
Liczba stron 271
EAN 9789811692932
Kod Libristo 38573903
Wydawnictwo Springer Verlag, Singapore
Waga 600
Wymiary 155 x 235 x 21

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Darwin, the Bible, and Tragedy Leonard Moss / Książka Miękka
common.buy 56.20 zł
Lucky to Live in Missouri Kate B. Jerome / Książka Twarda
common.buy 67.91 zł
Cantata of the Restoration: Original choral music celebrating the re-establishment of the Church of Jesus Christ in the Latter-days Kevin G Pace / Książka Miękka
common.buy 75.34 zł
The Gazebo: A Miss Silver Mystery Patricia Wentworth / Książka Twarda
common.buy 172.59 zł
Making Cars in the New India Barnes / Książka Twarda
common.buy 389.59 zł
Rains Gregg Hurwitz / Książka Miękka
common.buy 51.01 zł
E-banking in Bangladesh: Vulnerabilities and Securities Md. Nokib Uddin / Książka Miękka
common.buy 267.70 zł
50 Things I've Learned on my Way to 50 ALETHIA TUCKER / Książka Miękka
common.buy 83.39 zł
Trials and Tribulations of the Rocks Stars 2nd Wife Carol Grant / Książka Miękka
common.buy 71.07 zł
Selenium Framework Design in Data-Driven Testing Carl Cocchiaro / Książka Miękka
common.buy 213.43 zł
Project Explore: Starter: Class Audio CDs Sarah Phillips / Audio CD Audio
common.buy 147.54 zł
Oils, Fats And Fuels (1921) Thomas Hull / Książka Miękka
common.buy 103.45 zł
Imperialism and Capitalism, Volume I Dipak Basu / Książka Twarda
common.buy 502.83 zł
The Psychological Origin and the Nature of Religion (1909) James H. Leuba / Książka Miękka
common.buy 95.41 zł
Dr. Bentley's Proposals for Printing a New Edition of the Greek Testament, and St. Hierom's Latin Version: With a Full Answer to All the Remarks of a Richard Bentley / Książka Miękka
common.buy 62.72 zł
standard pronouncing dictionary of the French and English languages Gabriel Surenne / Książka Miękka
common.buy 177.58 zł
Pretzel H. A. Rey / Książka Miękka
common.buy 36.24 zł
Lonely Planet Pocket Hong Kong Piera Chen / Książka Miękka
common.buy 73.92 zł
Pattern Recognition and Computer Vision Qingshan Liu / E-book Adobe ePub DRM
common.buy 461.79 zł
Meeting Him Beneth Peters Jones / Książka Miękka
common.buy 65.77 zł
Harmonization of Working Life and Family Life Roger Blanpain / Książka Miękka
common.buy 706.90 zł
School-community partnerships and Retention of students in schools Clare Twegyesibwe / Książka Miękka
common.buy 221.27 zł
Sociology of Modernization and Development David Harrison / Książka Twarda
common.buy 899.26 zł
Old Testament: A Very Short Introduction Michael D Coogan / Książka Miękka
common.buy 45.81 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?