Search this site
Embedded Files
Skip to main content
Skip to navigation
Open science
Математика знаний
Formal ontology
Querying, Reasoning, Answering
RDF
RDF-1.1
Stephen Wolfram
Боты: Языки и Процессоры
Соревнование формальных языков
Henson Graves & Water
John Sowa & Benzene
Henson Graves (HG)
Context as Meta Level Ontology in System Engineering
Language, Processor, new feature
определения
Formal Geology
>Algorithm and formal definition
>Events
>Ontology of RDB
>Ontology of scientific dictionary
Open life
библиотека
Заседания
Каталог фотоальбомов и видео
квартира №5
конфы и журны
Working area
тест вставки GFT
OS-2025
Sciencies
Urgraphia
Алгебраические и прочие системы
Архив
Igneous rocks classification algorithm (IUGS)
2.1.3 Using the classification
2.11 Plutonic rocks
2.11.2 ULTRAMAFIC ROCKS (M > 90%)
Mafic mineral content (M). Formal definition
Алгоритм классификации магматических горных пород
Графы. Практика
∘Wikipedia category graph
get_circles_report
public_comments
Приложение-1
Приложение-2
∘Граф. Разбиение на связные компоненты
Журнал изменений
∘Орграф, ациклический. Присвоение уровней узлам
∘Орграф. Выделение ядра
Графы. Теория
Маршрут walk. Определения
определения
graph граф. конкретнее
edge ребро
изложение
ИС ТОР
База данных
Интерфейс пользователя
Математическая логика
Definitions
Description Logics intro
YAFOLL
YAFOLL. Сообщение 1
Список теорий
Твои возможности FOL
Теория категорий &@
О ЕЯ! (NLP)
Watson
КРЯ - контролируемый русский язык
Ответ Дмитрию Усталову
Разное
Интерференция броуновской частицы
Семантика языков программирования
(note)Появление потока управления
(w)Обобщение машины Поста
d-схемы
Turingol
MPC22-reject
Семантика Turingol
Граф КСГ
заметки об особенностях YAFOLL
⊙Критерий леворекурсивности
⊙Поток управления
Справочник
Техника
Восстановление системного диска
Формальная геология
>Cобытия
06.04.11
Научный семинар ГГМ РАН
17.09.14
>Igneous Rocks: An axiomatic theory
>Алгоритм классификации
>Алгоритм классификации-2 (closed see g-doc)
Algor DADA
>БД Проба. онтология
ACE. Шаблоны предложений, SQL, sh
YAFOLL. шаблоны предложений, SQL, sh
Дальнейшие работы
таблица ages
таблица alt_depth
таблица erupttypes
Таблица llocal
таблица rocks
>Онтологии на портале Геология
>Онтология словаря
>Определение видов пород модальным минеральным составом
Расшифровка обозначений ММС в ПгКР
Формальное право
Open science
Научный семинар ГГМ РАН
Post date: Apr 6, 2011 2:34:41 PM
Тема: Формальное представление знаний в петрологии.
Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse