Automated reasoning-alternative methods

Automated reasoning-alternative methods

Our main goal is to describe a potential usage of the interpretation method (i.e. formal representation of one first order theory into another) together with quantifier elimination procedures developed in the GIS.

Bibliographic Details
Main Authors: Perović Aleksandar, Stefanović Nedeljko, Milošević Miloš, Ilić Dejan
Format: Article
Language:English
Published: Faculty of Technical Sciences in Cacak 2004-01-01
Series:Serbian Journal of Electrical Engineering
Subjects:
proving methods
Online Access:http://www.doiserbia.nb.rs/img/doi/1451-4869/2004/1451-48690403015P.pdf
id doaj-dd833d373d694a94b336db3b4f7b0f5f
record_format Article
spelling doaj-dd833d373d694a94b336db3b4f7b0f5f2020-11-24T23:15:41ZengFaculty of Technical Sciences in CacakSerbian Journal of Electrical Engineering1451-48692217-71832004-01-0113152010.2298/SJEE0403015P1451-48690403015PAutomated reasoning-alternative methodsPerović Aleksandar0Stefanović Nedeljko1Milošević Miloš2Ilić Dejan3University of Belgrade, Faculty of Mathematics, Group for Intelligent Systems, BelgradeistaistaistaOur main goal is to describe a potential usage of the interpretation method (i.e. formal representation of one first order theory into another) together with quantifier elimination procedures developed in the GIS.http://www.doiserbia.nb.rs/img/doi/1451-4869/2004/1451-48690403015P.pdfproving methods
collection DOAJ
language English
format Article
sources DOAJ
author Perović Aleksandar
Stefanović Nedeljko
Milošević Miloš
Ilić Dejan
spellingShingle Perović Aleksandar
Stefanović Nedeljko
Milošević Miloš
Ilić Dejan
Automated reasoning-alternative methods
Serbian Journal of Electrical Engineering
proving methods
author_facet Perović Aleksandar
Stefanović Nedeljko
Milošević Miloš
Ilić Dejan
author_sort Perović Aleksandar
title Automated reasoning-alternative methods
title_short Automated reasoning-alternative methods
title_full Automated reasoning-alternative methods
title_fullStr Automated reasoning-alternative methods
title_full_unstemmed Automated reasoning-alternative methods
title_sort automated reasoning-alternative methods
publisher Faculty of Technical Sciences in Cacak
series Serbian Journal of Electrical Engineering
issn 1451-4869
2217-7183
publishDate 2004-01-01
description Our main goal is to describe a potential usage of the interpretation method (i.e. formal representation of one first order theory into another) together with quantifier elimination procedures developed in the GIS.
topic proving methods
url http://www.doiserbia.nb.rs/img/doi/1451-4869/2004/1451-48690403015P.pdf
work_keys_str_mv AT perovicaleksandar automatedreasoningalternativemethods
AT stefanovicnedeljko automatedreasoningalternativemethods
AT milosevicmilos automatedreasoningalternativemethods
AT ilicdejan automatedreasoningalternativemethods
_version_ 1725589699408429056

Similar Items