BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Daniel Briaud

3 cilt bulundu.

Cilt sonuçları

L'affaire Ben Barka

L'affaire Ben Barka

Daniel Sarne · Yayınevi bilinmiyor

254 sayfa · 1966

Algeria

CiltLambda-upsilon, a Calculus of Explicit Substitutions which Preserves Strong NormalisationInstitut National de Recherche en Informatique et en Automatique, Zine-El-Abidine Benaissa, Daniel Briaud, Pierre Lescanne, Jocelyne Rouyer-Degli

Lambda-upsilon, a Calculus of Explicit Substitutions which Preserves Strong Normalisation

Institut National de Recherche en Informatique et en Automatique, Zine-El-Abidine Benaissa, Daniel Briaud, Pierre Lescanne, Jocelyne Rouyer-Degli · Yayınevi bilinmiyor

27 sayfa · 1995

Kategori yok

CiltAn Explicit Eta Rewrite RuleInstitut National de Recherche en Informatique et en Automatique, Daniel Briaud

An Explicit Eta Rewrite Rule

Institut National de Recherche en Informatique et en Automatique, Daniel Briaud · Yayınevi bilinmiyor

20 sayfa · 1994

Kategori yok