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 24, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.