Yazar

Claude Kirchner

20 cilt bulundu.

Cilt sonuçları

Rewriting, Computation and Proof

Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner · Springer Science & Business Media

287 sayfa · 2007-06-22

Computers

Rewriting Techniques and Applications

Claude Kirchner · Springer Verlag

487 sayfa · 1993-01-01

Computers

Mein Onkel Benjamin

Claude Tillier · Yayınevi bilinmiyor

336 sayfa · 1891

French fiction

Questions d'éthique au temps de la COVID-19

Jean-François Delfraissy, Comité consultatif national d'éthique, Claude Kirchner · La Documentation française

302 sayfa · 2023-03-21

Reference

Isaiah Berlin's Liberalism

Claude Galipeau · Oxford University Press

212 sayfa · 1994

Biography & Autobiography

Die Ferien des Monsieur Hulot

Jean-Claude Carrière · Yayınevi bilinmiyor

178 sayfa · 2003

Kategori yok

The Raw and the Cooked

Claude Lévi-Strauss · University of Chicago Press

420 sayfa · 1983-03-15

Religion

The Origin of Table Manners

Claude Lévi-Strauss · University of Chicago Press

551 sayfa · 1990-11-08

Social Science

ComputersAutomated Deduction - CADE-15Claude Kirchner, Helene Kirchner

Automated Deduction - CADE-15

Claude Kirchner, Helene Kirchner · Springer

450 sayfa · 1998-06-24

Computers

EquationsOrder-sorted Equational UnificationKirchner Claude

Order-sorted Equational Unification

Kirchner Claude · Yayınevi bilinmiyor

12 sayfa · 1988

Equations

CiltSolving DisequationsInstitut National de Recherche en Informatique et en Automatique, C. Kirchner, P. Lescanne

Solving Disequations

Institut National de Recherche en Informatique et en Automatique, C. Kirchner, P. Lescanne · Yayınevi bilinmiyor

11 sayfa · 1987

Kategori yok

CiltHigher Order Unification Via Explicity SubstitutionInstitut National de Recherche en Informatique et en Automatique, Gilles Dowek, Therese Hardin, Claude Kirchner

Higher Order Unification Via Explicity Substitution

Institut National de Recherche en Informatique et en Automatique, Gilles Dowek, Therese Hardin, Claude Kirchner · Yayınevi bilinmiyor

Sayfa sayısı yok · 1995

Kategori yok

Computer architectureConcurrent Term Rewriting as a Model of ComputationJoseph A. Goguen, Claude Kirchner, José Meseguer

Concurrent Term Rewriting as a Model of Computation

Joseph A. Goguen, Claude Kirchner, José Meseguer · Yayınevi bilinmiyor

41 sayfa · 1987

Computer architecture

BiometricsFormal to Practical SecurityDavid Hutchison, Madhu Sudan, Hideki Sakurada, Mitsuhiro Okada, Claude Kirchner, Véronique Cortier, Gerhard Weikum, Moshe Y. Vardi, Demetri Terzopoulos, Bernhard Steffen, Josef Kittler, Doug Tygar, Takeo Kanade, C. Pandu Rangan, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz

Formal to Practical Security

David Hutchison, Madhu Sudan, Hideki Sakurada, Mitsuhiro Okada, Claude Kirchner, Véronique Cortier, Gerhard Weikum, Moshe Y. Vardi, Demetri Terzopoulos, Bernhard Steffen, Josef Kittler, Doug Tygar, Takeo Kanade, C. Pandu Rangan, Jon M. Kleinberg, · Yayınevi bilinmiyor

VölkerkundeEingelöste VersprechenClaude Lévi-Strauss

Eingelöste Versprechen

Claude Lévi-Strauss · Yayınevi bilinmiyor

285 sayfa · 1985

Völkerkunde

CiltAuf dem FlossClaude Abraham

Auf dem Floss

Claude Abraham · Yayınevi bilinmiyor

124 sayfa · 1998

Kategori yok

CiltAlso los ! 4Jean Chassard, Gonthier Weil, Jean-Claude Gredt

Also los ! 4

Jean Chassard, Gonthier Weil, Jean-Claude Gredt · Yayınevi bilinmiyor

159 sayfa · 1977

Kategori yok

AnthropologistsDas Nahe und das FerneClaude Lévi-Strauss, Didier Eribon

Das Nahe und das Ferne

Claude Lévi-Strauss, Didier Eribon · Yayınevi bilinmiyor

263 sayfa · 1996

Anthropologists

CiltDie Schnecke, die zuviel gefressen hatteClaude Dessons, Brigitte Bloch-Tabet

Die Schnecke, die zuviel gefressen hatte

Claude Dessons, Brigitte Bloch-Tabet · Yayınevi bilinmiyor

25 sayfa · 1983

Kategori yok

CiltDas Boot sinktClaude Autant-Lara

Das Boot sinkt

Claude Autant-Lara · Yayınevi bilinmiyor

111 sayfa · 1993

Kategori yok