System Description: Gclcprover plus Geothms

AuthID
P-004-P6Q
2
Author(s)
Janicic, P
·
2
Editor(s)
Furbach, U; Shankar, N
Document Type
Article
Year published
2006
Published
in AUTOMATED REASONING, PROCEEDINGS in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, ISSN: 0302-9743
Volume: 4130, Pages: 145-150 (6)
Conference
3Rd International Joint Conference on Automated Reasoning, Date: AUG 17-20, 2006, Location: Seattle, WA, Sponsors: Cadence, IBM, Microsoft Res, NEC, John VonNeumann Minerva Ctr Dev React Syst
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-33749564740
Wos: WOS:000240085600013
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.