• Produktbild: Logic and Its Applications
  • Produktbild: Logic and Its Applications
Band 13963 - 13%

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings

13% sparen

61,99 € UVP 71,49 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.02.2023

Abbildungen

X, 223 p. 81 illus.

Herausgeber

Mohua Banerjee + weitere

Verlag

Springer

Seitenzahl

223

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

365 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-26688-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.02.2023

Abbildungen

X, 223 p. 81 illus.

Herausgeber

Verlag

Springer

Seitenzahl

223

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

365 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-26688-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Logic and Its Applications
  • Produktbild: Logic and Its Applications
  • A Note on the Ontology of Mathematics.- Boolean Functional Synthesis: From Under the Hood of Solvers.- Labelled Calculi for Lattice-based Modal Logics.- Two Ways to Scare a Gruffalo.- Determinacy Axioms and Large Cardinals.- Big ideas from logic for mathematics and computing education.- Modal Logic of Generalized Separated Topological Spaces.- Multiple-valued Semantics for Metric Temporal Logic.- Segment transit function of the induced path function of graphs and its first-order definability.- Fuzzy Free Logic with Dual Domain Semantics.- A New Dimension of Imperative Logic. -Quasi-Boolean based models in Rough Set theory: A case of Covering.- Labelled calculi for the logics of rough concepts.- An Infinity of Intuitionistic Connexive Logics.- Relational Semantics for Normal Topological Quasi-Boolean Logic.