Detail

Publication date: 01/07/2006

A tabulation procedure for first-order residuated logic programs

Authors

Carlos Viegas Damásio, Manuel Ojeda-Aciego,

Publisher Editions E.D.K.
ISBN 2-84254-112-x
Address Paris, France
Publisher Editions E.D.K.
ISBN 2-84254-112-x
Address Paris, France