Constraints in Computational Logics : Theory and ApplicationsHubert Comon

Constraints in Computational Logics : Theory and Applications

Hubert Comon, Claude Marche, Ralf Treinen · 2003

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2003
Language: English
Publisher: Springer London, Limited
Editions: 1
Pages: 316
ISBN: 9783540454069

Data source: Wikidata

More by Hubert Comon

Rewriting, Computation and ProofHubert Comon

Rewriting, Computation and Proof

Hubert Comon · 2007

Rewriting Techniques and ApplicationsHubert Comon

Rewriting Techniques and Applications

Hubert Comon · 1997

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993Hubert Comon

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993

Hubert Comon · 1995

Activite Numerique No.913-914Hubert Comon

Activite Numerique No.913-914