R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)
Li, Wei; Sui, Yuefei
ISBN 10: 9811986320 ISBN 13: 9789811986321
Editorial: Springer, 2023
Nuevos
Encuadernación de tapa dura
Librería:
Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 30 de agosto de 2024
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
SUPER FAST SHIPPING. N° de ref. del artículo 9789811986321
Sinopsis:
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-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given.
This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
Acerca del autor:
Wei Li, is a Professor in the School of Computer Science and Engineering, Beihang University, Beijing, China and is a member of the Chinese Academy of Sciences. Prof. Li is mostly engaged in the applied research of Computer Software and Theory, and the Internet, including programming languages, software development, artificial intelligence, and integrated circuit design.
Yuefei Sui, is a Professor in the Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China. His main interests include knowledge representation, applied logic and the theory of computability.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: R-Calculus, IV: Propositional Logic (...
Editorial: Springer
Año de publicación: 2023
Encuadernación: Encuadernación de tapa dura
Condición: New
Los mejores resultados en AbeBooks
Imagen del vendedor
R-calculus, IV: Propositional logic
Publicado por
Springer, Berlin|Springer Nature Singapore|Science Press|Springer, 2023
ISBN 10: 9811986320
ISBN 13: 9789811986321
Nuevo
Tapa dura
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 748635318
Comprar nuevo
EUR 153,73
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9789811986321_new
Comprar nuevo
EUR 168,95
Gastos de envío:
EUR 13,63
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
R-Calculus, IV: Propositional Logic
Publicado por
Springer Nature Singapore, Springer Nature Singapore Mär 2023, 2023
ISBN 10: 9811986320
ISBN 13: 9789811986321
Nuevo
Tapa dura
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Neuware -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-calculi for propositional logic, description logics, propositional modal logic, logic programming, ¿-propositional logic, semantic networks, and three-valued logic, etc. Applications of R-calculus in logic of supersequents are also given.This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch. Nº de ref. del artículo: 9789811986321
Comprar nuevo
EUR 181,89
Gastos de envío:
EUR 60,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
R-Calculus, IV: Propositional Logic
Publicado por
Springer Nature Singapore Mrz 2023, 2023
ISBN 10: 9811986320
ISBN 13: 9789811986321
Nuevo
Tapa dura
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This fourth volume of the book series combines propositional logic and R-calculus fora new point of view to consider belief revision.It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, -propositional logic, semantic networks, and three-valued logic, etc.Applications of R-calculus in logic of supersequentsare also given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. 268 pp. Englisch. Nº de ref. del artículo: 9789811986321
Comprar nuevo
EUR 181,89
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
R-Calculus, IV: Propositional Logic
Publicado por
Springer Nature Singapore, Springer Nature Singapore, 2023
ISBN 10: 9811986320
ISBN 13: 9789811986321
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This fourth volume of the book series combines propositional logic and R-calculus fora new point of view to consider belief revision.It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, -propositional logic, semantic networks, and three-valued logic, etc.Applications of R-calculus in logic of supersequentsare also given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Nº de ref. del artículo: 9789811986321
Comprar nuevo
EUR 185,68
Gastos de envío:
EUR 62,86
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
R-Calculus, IV: Propositional Logic
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 26395484048
Comprar nuevo
EUR 233,64
Gastos de envío:
EUR 3,47
A Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
R-Calculus, IV: Propositional Logic
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND. Nº de ref. del artículo: 18395484058
Comprar nuevo
EUR 251,45
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
R-Calculus, IV: Propositional Logic
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand. Nº de ref. del artículo: 400893007
Comprar nuevo
EUR 252,71
Gastos de envío:
EUR 7,40
De Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
R-calculus: Propositional Logic: Vol 4
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 265 pages. 9.25x6.10x9.21 inches. In Stock. Nº de ref. del artículo: x-9811986320
Comprar nuevo
EUR 277,19
Gastos de envío:
EUR 14,23
De Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles