Approved Models for Normal Logic Programs

AuthID
 P-004-DV8
2
Author(s)
2
Editor(es)
Dershowitz, N; Voronkov, A
Tipo de Documento
Proceedings Paper
Year published
2007
Publicado
in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, ISSN: 0302-9743
Volume: 4790, Páginas: 454-468 (15)
Conference
14Th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Date: OCT 15-19, 2007, Location: Yerevan, ARMENIA
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/145256
Crossref®
Google Scholar®
Publication Identifiers
DBLP: conf/lpar/PereiraP07
SCOPUS: 2-s2.0-38149125474
Wos: WOS:000251785100033
Source Identifiers
ISSN: 0302-9743
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