Articles liés à Logics for Computer and Data Sciences, and Artificial...
Synopsis
Propositional logic.- First-order logic.- Propositional modal logic.- Epistemic, default and dynamic logics.- Temporal logics.- Many-valued logics.- Approximate reasoning: Rough logics.- Beyond frst-order logics.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer Nature Switzerland AG
- Date d'édition2021
- ISBN 10 3030916790
- ISBN 13 9783030916794
- ReliureRelié
- Langueanglais
- Nombre de pages362
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 136,25
EUR 2,90 expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Logics for Computer and Data Sciences, and Artificial...
Image d'archives
Logics for Computer and Data Sciences, and Artificial Intelligence
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-314884
Quantité disponible : 2 disponible(s)
Image d'archives
Logics for Computer and Data Sciences, and Artificial Intelligence (Studies in Computational Intelligence, 992)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 1st ed. 2022 edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26390224442
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logics for Computer and Data Sciences, and Artificial Intelligence
Edité par
Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10 : 3030916790
ISBN 13 : 9783030916794
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. N° de réf. du vendeur 521844587
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logics for Computer and Data Sciences, and Artificial Intelligence (Studies in Computational Intelligence, 992)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 389408229
Quantité disponible : 1 disponible(s)
Image d'archives
Logics for Computer and Data Sciences, and Artificial Intelligence (Studies in Computational Intelligence, 992)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18390224432
Quantité disponible : 1 disponible(s)
Image d'archives
Logics for Computer and Data Sciences, and Artificial Intelligence (Studies in Computational Intelligence, 992)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783030916794_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logics for Computer and Data Sciences, and Artificial Intelligence
Edité par
Springer International Publishing, Springer Nature Switzerland, 2021
ISBN 10 : 3030916790
ISBN 13 : 9783030916794
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text. N° de réf. du vendeur 9783030916794
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logics for Computer and Data Sciences, and Artificial Intelligence
ISBN 10 : 3030916790
ISBN 13 : 9783030916794
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text. 380 pp. Englisch. N° de réf. du vendeur 9783030916794
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Logics for Computer and Data Sciences, and Artificial Intelligence
ISBN 10 : 3030916790
ISBN 13 : 9783030916794
Neuf
Couverture rigide
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware -This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch. N° de réf. du vendeur 9783030916794
Quantité disponible : 2 disponible(s)
Image d'archives
Logics for Computer and Data Sciences, and Artificial Intelligence
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 44148646-n
Quantité disponible : Plus de 20 disponibles