Journal article icon

Journal article

Tool Building Requirements for an API to First−Order Solvers

Actions


Access Document


Files:
Publisher copy:
10.1016/j.entcs.2005.12.003

Authors


Journal:
Electronic Notes in Theoretical Computer Science
Volume:
144
Issue:
2
Pages:
15-26
Publication date:
2006-01-01
DOI:
ISSN:
1571-0661
URN:
uuid:febaf5c4-772b-4152-86c0-dd0b0dba909e
Local pid:
cs:4683

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP