Higher-Order Polymorphic Unification For Logic Programming

AuthID
 P-001-KXM
2
Author(s)
1
Editor(es)
VanHentenryck, P
Tipo de Documento
Proceedings Paper
Year published
1994
Publicado
in LOGIC PROGRAMMING: PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING in MIT PRESS SERIES IN LOGIC PROGRAMMING, ISSN: 1061-0464
Páginas: 419-433 (15)
Conference
11Th International Conference on Logic Programming, Date: JUN 13-18, 1994, Location: S MARGHERITA LIGURE, ITALY, Patrocinadores: ASSOC LOGIC PROGRAMMING
Indexing
Wos®
Dblp®/pt/publications/view/53172
Publication Identifiers
DBLP: conf/iclp/CairesM94
Wos: WOS:A1994BB17T00030
Source Identifiers
ISSN: 1061-0464
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service