Dowek, Gilles

Vis mig kun

Proofs and Algorithms

Proofs and Algorithms

Dowek, Gilles

260,50 DKK

Rewriting and Typed Lambda Calculi

Rewriting and Typed Lambda Calculi

Dowek, Gilles

436,85 DKK

Principles of Programming Languages

Principles of Programming Languages

Dowek, Gilles

238,03 DKK

Computation, Proof, Machine

Computation, Proof, Machine

Dowek, Gilles

403,64 DKK

Computation, Proof, Machine

Computation, Proof, Machine

Dowek, Gilles

403,64 DKK

Automated Reasoning

Automated Reasoning

Dowek, Gilles

436,85 DKK

Age of Algorithms

Age of Algorithms

Dowek, Gilles

154,35 DKK

Age of Algorithms

Age of Algorithms

Dowek, Gilles

154,35 DKK