A New Approach to the Formal Explicit Specification of Knowledge Acquisition

Mathematical machines and systems
doi 10.34121/1028-9763-2019-4-139-145
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Mathematical Machines and Systems Problems of the NAS of Ukraine

Related search

Implicit and Explicit Knowledge in Second Language Acquisition

Applied Psycholinguistics
LinguisticsExperimentalPsychologyLanguageCognitive Psychology
2011English

A Formal Specification of dMARS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

A New Formal Approach to the Rational Interpolation Problem

Numerische Mathematik
Computational MathematicsApplied Mathematics
1992English

A Formal Specification of the CORBA Event Service

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

Formal Specification and Verification

2019English

DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

A Practical Approach to Incremental Specification

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

Toward a Formal Specification of Menu-Based Systems

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
1987English

Formal Specification and Verification of CRDTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy