Logic programming and automated reasoning: 4th international conference, lpar '93, st.petersburg, russia, july 13-20, 1993 - proceedings
Auteur :
Voronkov, Andrei
ISBN :
9783540569442
Date de publication :
29 juin 1993
Dimensions :
23,3 x 15,5 x 2,1 cm
Poids :
1270 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains the proceedings of an international conference which brought together researchers interested in logic programming and automated reasoning. The results obtained from both of these fields were then applied to deductive databases.