wyszukanych pozycji: 3
![]() |
Modern Perspectives in Type-Theoretical Semantics
ISBN: 9783319504209 / Angielski / Twarda / 2017 / 296 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Themes that are covered include modern developments of type theories in formal semantics, foundational issues in linguistic semantics like anaphora, modality and plurals, innovational interdisciplinary research like the introduction of probability theory to type theories as well as computational implementations of type theoretical approaches.
Themes that are covered include modern developments of type theories in formal semantics, foundational issues in linguistic semantics like anaphora, m...
|
cena:
425,06 zł |
![]() |
Modern Perspectives in Type-Theoretical Semantics
ISBN: 9783319843971 / Angielski / Miękka / 2018 / 296 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
425,06 zł |
![]() |
Formal Semantics in Modern Type Theories
ISBN: 9781786301284 / Angielski / Twarda / 2021 / 256 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. Modern Type Theories (MTTs), (type theories within the tradition of Martin-Lof,) have been shown to be a serious alternative to set theory in the study of mathematical foundations and have been furthermore shown to be the most suited logical languages to perform reasoning tasks.
Modern Type Theories (MTTs), (type theories within the tradition of Martin-Lof,) have been shown to be a serious alternative to set theory in the stud...
|
cena:
744,08 zł |