Publication
Detail
Publication date: 01/07/2006A tabulation procedure for first-order residuated logic programs
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 |