Modelling Digital Circuits Problems with Set Constraints

AuthID
 P-001-1AN
2
Author(s)
9
Editor(s)
Lloyd, J; Dahl, V; Furbach, U; Kerber, M; Lau, KK; Palamidessi, C; Pereira, LM; Sagiv, Y; Stuckey, PJ
Document Type
Article
Year published
2000
Published
in COMPUTATIONAL LOGIC - CL 2000 in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743
Volume: 1861, Pages: 414-428 (15)
Conference
1St International Conference on Computational Logic (Cl 2000), Date: JUL 24-28, 2000, Location: LONDON, ENGLAND, Sponsors: 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

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service