Yazar

Nissim Francez

7 cilt bulundu.

Cilt sonuçları

Nissim Francez · Cambridge University Press

319 sayfa · 2011

Comparative and general Grammar / Mathematical models / Unification grammar / Lexical-functional grammar / Head-driven phrase structure grammar

Fairness

Francez, Nissim. · Springer-Verlag

295 sayfa · 1986

Parallel processing (Electronic computers) / Semantics / Programming languages (Electronic computers) / Computer programming / Electronic digital computers

Fairness

Nissim Francez · Springer US

315 sayfa · 1986

Logic design / Computer science / Software engineering

Interacting processes

Francez, Nissim. · ACM Press

234 sayfa · 1996

Electronic data processing / Distributed processing / Electronic data processing, distributed processing

Program verification

Francez, Nissim. · Addison-Wesley Pub. Co.

312 sayfa · 1992

Verification / Computer software / Computer programs

CiltView of Connexive LogicsNissim Francez

View of Connexive Logics

Nissim Francez · College Publications

Sayfa sayısı yok · 2021

Kategori yok

SemanticsProof-theoretic semanticsNissim Francez, Anna Maria Radzikowska, Ingrid M. Rewitzky

Proof-theoretic semantics

Nissim Francez, Anna Maria Radzikowska, Ingrid M. Rewitzky · College Publications

415 sayfa · 2015

Symbolic and mathematical Logic / Proof theory / Semantics