Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Logic, Language, Information, and Computation

E-BookPDF1 - PDF WatermarkE-Book
293 Seiten
Englisch
Springer Nature Switzerlanderschienen am07.06.20242024
Verfügbare Formate
BuchKartoniert, Paperback
EUR62,05
E-BookPDF1 - PDF WatermarkE-Book
EUR62,05

Produkt

Details
Weitere ISBN/GTIN9783031626876
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsjahr2024
Erscheinungsdatum07.06.2024
Auflage2024
ReiheLecture Notes in Computer Science
Reihen-Nr.14672
Seiten293 Seiten
SpracheEnglisch
Dateigrösse6388 Kbytes
IllustrationenXXIV, 293 p. 32 illus., 6 illus. in color.
Artikel-Nr.15588169
Rubriken
Genre9200

Inhalt/Kritik

Inhaltsverzeichnis
.- Model Theory of Gödel Logic..- Nothing is Logical..- Automata Minimisation in Logical Form..- Probability and Nondeterminism with Multiset Semantics..- Theory and Practice of Uniform Interpolation..- Pride and Probability..- Strict-Tolerant Conditional Logics..- A linear proof language for second-order intuitionistic linear logic..- A Logic of Isolation..- A simple loopcheck for Intuitionistic K..- Axiomatising Classical Realisability..- Obtaining Intersection Types via Finite-Set Declaration..- Syntactic concept lattice models for in¿nitary action logic..- Rules of Partial Orthomodularity..- Labelled Sequent Calculi for Inquisitive Modal Logics..- Correspondence theory on vector spaces..- An EXPTIME-complete entailment problem in separation logic..- (In)consistency operators on quasi-Nelson algebras..- Lambek Calculus with Banged Atoms for Parasitic Gaps..- Completeness of Finitely Weighted Kleene Algebra With Tests ..- Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions..- Validity in Contexts: A Semantics for Indicatives and Epistemic Modals..- Logical Expressibility of Syntactic NL for Complementarity and Maximization..- Polyadic Quanti¿ers on Dependent Types.mehr

Autor