Book serie: / Книги серии: Lecture Notes in Computer Science 4600 : Theoretical Computer Science and General Issues » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 4600 : Theoretical Computer Science and General Issues

book Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

pdf

Author: Nachum Dershowitz Georg Moser (auth.) Hubert Comon-Lundh Claude Kirchner Hélène Kirchner (eds.)
Language: English
Year: 2007

00

27.01.2024

2

0

book Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

pdf

Author: Nachum Dershowitz Georg Moser (auth.) Hubert Comon-Lundh Claude Kirchner Hélène Kirchner (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0