Pierre Lescanne's Books

Constraints in Computational Logics

First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

By: Jean-Pierre Jouannaud

Write a review Read reviews Take a Quiz Solve Book Puzzle

Constraints in Computational Logics

First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

By: Jean-Pierre Jouannaud

This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full papers of the 5 invited talks by senior researchers, the book contains revised versions of the 21 accepted research papers selected from a total of 52 submissions. The volume assembles high quality original papers covering major theoretical and practical issues of combining and extending programming paradigms, preferably by using constraints. The topics covered include symbolic constraints, set constraints, numerical constraints, multi-paradigm programming, combined calculi, constraints in rewriting, deduction, symbolic computations, and working systems.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

394

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354058403X

ISBN 13

9783540584032

Symbolic and Quantitative Approaches to Uncertainty

European Conference ECSQAU, Marseille, France, October 15-17, 1991. Proceedings

By: Rudolf Kruse,Pierre Siegel

Write a review Read reviews Take a Quiz Solve Book Puzzle

Symbolic and Quantitative Approaches to Uncertainty

European Conference ECSQAU, Marseille, France, October 15-17, 1991. Proceedings

By: Rudolf Kruse,Pierre Siegel

A variety of formalisms have been developed to address such aspects of handling imperfect knowledge as uncertainty, vagueness, imprecision, incompleteness, and partial inconsistency. Some of the most familiar approaches in this research field are nonmonotonic logics, modal logics, probability theory (Bayesian and non-Bayesian), belief function theory, and fuzzy sets and possibility theory. ESPRIT Basic Research Action 3085, entitled Defeasible Reasoning and Uncertainty Management Systems (DRUMS), aims to contribute to the elucidation of similarities and differences between these formalisms. It consists of 11 active European research groups. The European Conference on Symbolic and Quantitative Approaches to Uncertainty (ESQAU) provides a forum for these groups to meet and discuss their scientific results. This volume contains 42 contributions accepted for the ESQAU meeting held in October 1991 in Marseille, together with 12 articles presenting the activities of the DRUMS groups and two invited presentations.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

380

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540546596

ISBN 13

9783540546597

Domains and Lambda-Calculi

By: Roberto M. Amadio,Pierre-Louis Curien

Write a review Read reviews Take a Quiz Solve Book Puzzle

Domains and Lambda-Calculi

By: Roberto M. Amadio,Pierre-Louis Curien

Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

504

Publisher

Cambridge University Press

Published Date

ISBN 10

0521622778

ISBN 13

9780521622776

Attribute Grammars

Definitions, Systems and Bibliography

By: Pierre Deransart,Martin Jourdan,Bernard Lorho

Write a review Read reviews Take a Quiz Solve Book Puzzle

Attribute Grammars

Definitions, Systems and Bibliography

By: Pierre Deransart,Martin Jourdan,Bernard Lorho

This book treats the problem of formulating models in mathematical programming, and thereafter solving the resulting model. Particular emphasis is placed on the interaction between the two. The topic is viewed from different angles, namely linear programming (Walter Murray), integer programming (Ellis Johnson), network flows (John Mulvey), and stochastic programming (Roger J-B Wets). The book will be very useful for any mathematics programmer or operations researcher who works in the field of real-world modelling. The book is an important part of any university course in modelling, particularly in operations research, economics and business. The book also contains an article on the origins of mathematical programming (Alexander Rinnooy Kan). This is important reading for anyone interested in the history of the field.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

248

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540500561

ISBN 13

9783540500568

Recent Social Trends in France, 1960-1990

By: Michel Forsé,Jean-Pierre Jaslin

Write a review Read reviews Take a Quiz Solve Book Puzzle

Recent Social Trends in France, 1960-1990

By: Michel Forsé,Jean-Pierre Jaslin

A prominent feature of the social revolution in France has been the decline of the great national institutions -- the Republic, the Army, the church, and the schools -- which are losing their symbolic value and are no longer the targets of ideological disputes. As a result, there is a growing basic consensus among the French people. At the same time, the French have developed a new interest in managing local problems -- due to the decentralization law -- which has led to the establishment of many voluntary associations. Changes in family life following the "revolution" of 1968 have led to greater instability among couples, but at the same time have strengthened the kinship system resulting in increased life expectancy. The customs of the French have also changed. The French education system, originally based on authority and regulations, is now making increasing use of experimentation and negotiation. As a result, the attitude of the French towards authority has totally changed and the French have learned to negotiate and cooperate among themselves. All these changes can be interpreted as progressive moves toward liberty, equality, and individualism. There is little danger of social instability, since French society remains in remarkably robust health.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

384

Publisher

McGill-Queen's Press - MQUP

Published Date

ISBN 10

0773563237

ISBN 13

9780773563230

Algebraic and Logic Programming

International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings

By: Jan Grabowski,Pierre Lescanne,Wolfgang Wechler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Algebraic and Logic Programming

International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings

By: Jan Grabowski,Pierre Lescanne,Wolfgang Wechler

This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

284

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540506675

ISBN 13

9783540506676

Rewriting Techniques and Applications

Bordeaux, France, May 25-27, 1987. Proceedings

By: Pierre Lescanne

Write a review Read reviews Take a Quiz Solve Book Puzzle

Rewriting Techniques and Applications

Bordeaux, France, May 25-27, 1987. Proceedings

By: Pierre Lescanne

This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

288

Publisher

Springer

Published Date

ISBN 10

3662197766

ISBN 13

9783662197769

Book's by Pierre Lescanne

Constraints in Computational Logics

Constraints in Computational Logics

Symbolic and Quantitative Approaches to Uncertainty

Symbolic and Quantitative Approaches to Uncertainty

Domains and Lambda-Calculi

Domains and Lambda-Calculi

Attribute Grammars

Attribute Grammars

Recent Social Trends in France, 1960-1990

Recent Social Trends in France, 1960-1990

Algebraic and Logic Programming

Algebraic and Logic Programming

Rewriting Techniques and Applications

Rewriting Techniques and Applications

Username

Password

Username

Password

Password again

Birthday

Email