Articles liés à Extensions of Logic Programming: International Workshop,...

Extensions of Logic Programming: International Workshop, T??bingen, FRG, December 8-10, 1989. Proceedings - Couverture souple

Schroeder-Heister, Peter

 
9783540535904: Extensions of Logic Programming: International Workshop, T??bingen, FRG, December 8-10, 1989. Proceedings

Synopsis

This volume contains papers presented at an international workshop. It gives an overview of various approaches to extending logic programming, concentrating on proof-theoretic extensions developed recently, which put a new emphasis on hypothetical reasoning.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.