La démonstration automatique en calcul propositionnel au service de la programmation par contraintes.

Jean-Marc Boï Antoine Rauzy

Published in: SPLT (1990)

Keyphrases

web services
service oriented
service quality
real time
service providers
information services
service composition
service management
real world
decision trees
database systems
user interface
management system
electronic commerce
customer service