( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Two Aspects of the Validation and Verification of Knowledge-Based Systems.

, , , , и . IEEE Expert, 8 (3): 76-81 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

R J Backlund

R. J. McLure

Ekaterine Shaverdashvili

Alexey Shavel

Arne R J Schneider

 

Другие публикации лиц с тем же именем

Interactive Seminars Using the Web: An International Experience., , , , и . Teleteaching, том 120 из books@ocg.at, стр. 869-876. Austrian Computer Society, (1998)Semantics for Interoperability: Relating Ontologies and Schemata., , и . DEXA, том 2736 из Lecture Notes in Computer Science, стр. 703-712. Springer, (2003)Problems of Integrity and Distributed Databases.. Softw. Pract. Exp., 10 (2): 135-147 (1980)An Experiment in Multinational Collaborative Learning and Group Work Using the Internet., , , , и . Educ. Inf. Technol., 4 (1): 33-47 (1999)Entities, Functions and Binary Relations: Steps to a Conceptual Schema.. Comput. J., 24 (1): 42-47 (1981)A Tesseral Approach to n-Dimensional Spatial Reasoning., , , , и . DEXA, том 1308 из Lecture Notes in Computer Science, стр. 633-642. Springer, (1997)An Ontology for Linear Spatial Reasoning., , , , и . DEXA, том 1134 из Lecture Notes in Computer Science, стр. 718-727. Springer, (1996)Two Aspects of the Validation and Verification of Knowledge-Based Systems., , , , и . IEEE Expert, 8 (3): 76-81 (1993)Converting Decision Tables to Computer Programs., и . Comput. J., 18 (2): 108-111 (1975)Transfer of Natural Metaphors to Parallel Problem Solvin Applications., , , , и . PPSN, том 496 из Lecture Notes in Computer Science, стр. 363-372. Springer, (1990)