Couverture : Solving higher-order equations

Connectez-vous pour ajouter ce livre à votre bibliothèque.

Solving higher-order equations

Christian Prehofer

Autre Première publication : 1998

Résumé

This monograph develops techniques for equational reasoning in higher-order logic.

Sujets

Logique informatique Programmation déclarative

Éditions (1)

Couverture : Solving higher-order equations

Solving higher-order equations : from logic to programming

Birkhäuser (Boston) · 1998 · 9780817640323