Pohľad na konexívne logiky - A View of Connexive Logics

Táto kniha je vôbec prvou monografiou na tému konexívnych logík, rodiny neklasických logík, založených na...

Unifikačné gramatiky - Unification Grammars

Gramatiky prirodzených jazykov možno vyjadriť ako matematické objekty, podobne ako počítačové programy. Takáto formálna prezentácia...

Dôkazovo-teoretická sémantika - Proof-theoretic Semantics

Táto kniha je monografiou na tému dôkazovo-teoretickej sémantiky, teórie významu, ktorá predstavuje...

Predstavenie autora Nissim Francez:

Doterajšie vydané knihy od Nissim Francez: