P. Braffort

Raymond Queneau, le mystère des origines

2005

J & I

J & I

2002

Science et littérature

1998

Automation in language transla

Automation in language translation and theorem proving

1968

Computer programming and formal systems

1963