Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/502| Title: | System description: GCLCprover + GeoThms | Authors: | Janičić, Predrag Quaresma, Pedro |
Affiliations: | Informatics and Computer Science | Issue Date: | 1-Jan-2006 | Related Publication(s): | International Joint Conference on Automated Reasoning IJCAR 2006 | Journal: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | URI: | https://research.matf.bg.ac.rs/handle/123456789/502 | ISBN: | 3540371877 | ISSN: | 03029743 | DOI: | 10.1007/11814771_13 |
| Appears in Collections: | Research outputs |
Show full item record
SCOPUSTM
Citations
27
checked on Dec 20, 2024
Page view(s)
10
checked on Dec 25, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.