Der Perlentaucher unter den Buchläden Eichendorff21

Suchergebnis

Gefundene Autoren: Wei Li oder Yuefei Sui

1. 

   eng

   Yuefei Sui / Wei Li

   R-Calculus, IV: Propositional Logic

   • Springer Nature Singapore
   • 2024

   • Taschenbuch
   • 268 Seiten

   181,89€

   in Kürze

2. 

   eng

   Yuefei Sui / Wei Li

   R-Calculus, III: Post Three-Valued Logic

   • Springer Nature Singapore
   • 2023

   • Taschenbuch
   • 288 Seiten

   181,89€

   in Kürze

3. 

   eng

   Yuefei Sui / Wei Li

   R-Calculus, II: Many-Valued Logics

   • Springer Nature Singapore
   • 2023

   • Taschenbuch
   • 288 Seiten

   160,49€

   in Kürze

   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-calcul…

4. 

   eng

   Yuefei Sui / Wei Li

   R-Calculus, IV: Propositional Logic

   • Springer Nature Singapore
   • 2023

   • Gebunden
   • 268 Seiten

   181,89€

   in Kürze

   This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R…

5. 

   eng

   Yuefei Sui / Wei Li

   R-Calculus, III: Post Three-Valued Logic

   • Springer Nature Singapore
   • 2022

   • Gebunden
   • 288 Seiten

   181,89€

   in Kürze

   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 o…

6. 

   eng

   Yuefei Sui / Wei Li

   R-Calculus, II: Many-Valued Logics

   • Springer Nature Singapore
   • 2022

   • Gebunden
   • 288 Seiten

   160,49€

   in Kürze

   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-calcul…