Matches in SemOpenAlex for { <https://semopenalex.org/work/W1944200932> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1944200932 endingPage "959" @default.
- W1944200932 startingPage "949" @default.
- W1944200932 abstract "In this work will be presented the design of an intelligent system destined for development process of demonstrating abilities for geometry theorems. This system will make available to user a proof assistant which will allow interactive vizualization of several demonstrations for the same theorem, demonstrations that have been generated by using three specific methods for automatic demonstration of theorems: area method, full-angle method and inferences accomplishment. For the implementation of the component used to represent knowledge and proof mechanisms will be used Prolog language and for the achievement of geometric construction associated to the theorem will be used Java language." @default.
- W1944200932 created "2016-06-24" @default.
- W1944200932 creator A5021707544 @default.
- W1944200932 creator A5023346520 @default.
- W1944200932 creator A5072422278 @default.
- W1944200932 creator A5077202245 @default.
- W1944200932 date "2010-09-01" @default.
- W1944200932 modified "2023-10-18" @default.
- W1944200932 title "Modelling using UML diagrams of an intelligent system for the automatic demonstration of geometry theorems" @default.
- W1944200932 cites W1013397981 @default.
- W1944200932 cites W103136849 @default.
- W1944200932 cites W1039203514 @default.
- W1944200932 cites W145236249 @default.
- W1944200932 cites W1488133941 @default.
- W1944200932 cites W1496309719 @default.
- W1944200932 cites W1496528293 @default.
- W1944200932 cites W1539623937 @default.
- W1944200932 cites W1577951736 @default.
- W1944200932 cites W1586555793 @default.
- W1944200932 cites W1989367394 @default.
- W1944200932 cites W1990340894 @default.
- W1944200932 cites W2000117114 @default.
- W1944200932 cites W2012414269 @default.
- W1944200932 cites W2025797931 @default.
- W1944200932 cites W206164118 @default.
- W1944200932 cites W2080260105 @default.
- W1944200932 cites W2120243289 @default.
- W1944200932 cites W2128980051 @default.
- W1944200932 cites W2360286694 @default.
- W1944200932 cites W2762770850 @default.
- W1944200932 cites W2802455656 @default.
- W1944200932 cites W2913234940 @default.
- W1944200932 cites W3158633990 @default.
- W1944200932 cites W34319192 @default.
- W1944200932 cites W39011390 @default.
- W1944200932 cites W44457921 @default.
- W1944200932 cites W88091310 @default.
- W1944200932 hasPublicationYear "2010" @default.
- W1944200932 type Work @default.
- W1944200932 sameAs 1944200932 @default.
- W1944200932 citedByCount "0" @default.
- W1944200932 crossrefType "journal-article" @default.
- W1944200932 hasAuthorship W1944200932A5021707544 @default.
- W1944200932 hasAuthorship W1944200932A5023346520 @default.
- W1944200932 hasAuthorship W1944200932A5072422278 @default.
- W1944200932 hasAuthorship W1944200932A5077202245 @default.
- W1944200932 hasConcept C145644426 @default.
- W1944200932 hasConcept C199360897 @default.
- W1944200932 hasConcept C206880738 @default.
- W1944200932 hasConcept C2777904410 @default.
- W1944200932 hasConcept C41008148 @default.
- W1944200932 hasConcept C548217200 @default.
- W1944200932 hasConcept C80444323 @default.
- W1944200932 hasConcept C81721847 @default.
- W1944200932 hasConcept C98045186 @default.
- W1944200932 hasConceptScore W1944200932C145644426 @default.
- W1944200932 hasConceptScore W1944200932C199360897 @default.
- W1944200932 hasConceptScore W1944200932C206880738 @default.
- W1944200932 hasConceptScore W1944200932C2777904410 @default.
- W1944200932 hasConceptScore W1944200932C41008148 @default.
- W1944200932 hasConceptScore W1944200932C548217200 @default.
- W1944200932 hasConceptScore W1944200932C80444323 @default.
- W1944200932 hasConceptScore W1944200932C81721847 @default.
- W1944200932 hasConceptScore W1944200932C98045186 @default.
- W1944200932 hasIssue "9" @default.
- W1944200932 hasLocation W19442009321 @default.
- W1944200932 hasOpenAccess W1944200932 @default.
- W1944200932 hasPrimaryLocation W19442009321 @default.
- W1944200932 hasRelatedWork W1505933275 @default.
- W1944200932 hasRelatedWork W1515870595 @default.
- W1944200932 hasRelatedWork W1535441153 @default.
- W1944200932 hasRelatedWork W1542207000 @default.
- W1944200932 hasRelatedWork W1963436944 @default.
- W1944200932 hasRelatedWork W2023102599 @default.
- W1944200932 hasRelatedWork W2050100442 @default.
- W1944200932 hasRelatedWork W2080239144 @default.
- W1944200932 hasRelatedWork W2093231739 @default.
- W1944200932 hasRelatedWork W2121049046 @default.
- W1944200932 hasRelatedWork W2126297499 @default.
- W1944200932 hasRelatedWork W2157354769 @default.
- W1944200932 hasRelatedWork W2310744283 @default.
- W1944200932 hasRelatedWork W2551943307 @default.
- W1944200932 hasRelatedWork W2918648222 @default.
- W1944200932 hasRelatedWork W376991050 @default.
- W1944200932 hasRelatedWork W639076399 @default.
- W1944200932 hasRelatedWork W73004951 @default.
- W1944200932 hasRelatedWork W76901069 @default.
- W1944200932 hasRelatedWork W2181470282 @default.
- W1944200932 hasVolume "9" @default.
- W1944200932 isParatext "false" @default.
- W1944200932 isRetracted "false" @default.
- W1944200932 magId "1944200932" @default.
- W1944200932 workType "article" @default.