Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

R-Calculus, III: Post Three-Valued Logic

Name: R-Calculus, III: Post Three-Valued Logic
Brand: Springer, Berlin
SKU: 44429712
Price: 182.19 EUR
Availability: InStock
Author: Wei Li
ISBN: 9789811942723

Wei Li

Yuefei Sui

Lingua

Inglese

Libro In brossura

Codice Libristo: 44429712

Casa editrice Springer, Berlin, dicembre 2023

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is n... Descrizione completa

Codice Libristo: 44429712

446 b

182.19 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Nota del autor : los prólogos de Conrad a sus obras Joseph Conrad

In brossura

19.89 €

Schritte International Neu - dreibandige Ausgabe Dagmar Giersberg

In brossura

19.39 €

RTA 171 CITROEN C2 (2003 - 2008) ETAI Libro

binding.

34.39 €

Les Princes - Eric (La Petite Sirène) Linsey Miller

In brossura

24.79 €

Bohater niedoskonały Tajemnice Heart's Edge 1 Snow Nicole

In brossura

7.59 €

This third volume of the book series shows R-calculus is a Gentzen-typed 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. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo R-Calculus, III: Post Three-Valued Logic

Autore Wei Li, Yuefei Sui

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2023

Numero di pagine 273

EAN 9789811942723

Codice Libristo 44429712

Casa editrice Springer, Berlin

Peso 408

Dimensioni 155 x 235

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Account of the Success of Inoculating the Small Pox in Great Britain, for the Year 1724. with a Comparison Between the Miscarriages in That Practice, James Jurin

In brossura

13.29 €