Modelling Digital Circuits Problems with Set Constraints

AuthID
 P-001-1AN
2
Author(s)
9
Editor(es)
Lloyd, J; Dahl, V; Furbach, U; Kerber, M; Lau, KK; Palamidessi, C; Pereira, LM; Sagiv, Y; Stuckey, PJ
Tipo de Documento
Article
Year published
2000
Publicado
in COMPUTATIONAL LOGIC - CL 2000 in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743
Volume: 1861, Páginas: 414-428 (15)
Conference
1St International Conference on Computational Logic (Cl 2000), Date: JUL 24-28, 2000, Location: LONDON, ENGLAND, Patrocinadores: Assoc Log Programming, ESPRIT Network Excellence Computat Log, Host: IMPERIAL COLL
Indexing
Wos®
Scopus®
Publication Identifiers
SCOPUS: 2-s2.0-84867827512
Wos: WOS:000165607800028
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