Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Academic Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: subject:"ИНТЕРАКТИВНОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМ"
Narrow search
Narrow search
Year of publication
From:
To:
Subject
All
CORRECTNESS OF INTUITIVE PROOF
1
INTERACTIVE THEOREM PROVING
1
INTUITIVE PROOF
1
KNOWLEDGE BANKS
1
THEOREM PROVING BY ANALOGY
1
БАНКИ ЗНАНИЙ
1
ДОКАЗАТЕЛЬСТВО ТЕОРЕМ ПО АНАЛОГИИ
1
ИНТЕРАКТИВНОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМ
1
ИНТУИТИВНОЕ ДОКАЗАТЕЛЬСТВО
1
ПРАВИЛЬНОСТЬ ИНТУИТИВНОГО ДОКАЗАТЕЛЬСТВА
1
more ...
less ...
Online availability
All
Free
1
Type of publication
All
Article
1
Language
All
Undetermined
1
Author
All
СЕРГЕЕВИЧ, КЛЕЩЕВ АЛЕКСАНДР
1
Published in...
All
Проблемы управления
1
Source
All
RePEc
1
Showing
1
-
1
of
1
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
КОНЦЕПЦИЯ БАНКА МАТЕМАТИЧЕСКИХ ЗНАНИЙ ДЛЯ НАУЧНЫХ ИССЛЕДОВАНИЙ. Ч. 2. ИНТЕРАКТИВНОЕ ФОРМИРОВАНИЕ ИНТУИТИВНЫХ ДОКАЗАТЕЛЬСТВ...
СЕРГЕЕВИЧ, КЛЕЩЕВ АЛЕКСАНДР
- In:
Проблемы управления
(
2008
)
3
,
pp. 26-30
Статья завершает цикл из двух статей, посвященных концепции системы компьютерной поддержки научной деятельности в области математики. Приведены модель...
Persistent link: https://www.econbiz.de/10011238300
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
