( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Logic Programming Approach to Specifying Logics and Constructing Proofs.

, , , и . ICLP, стр. 405-424. MIT Press, (1990)

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.

Hideo Ohashi

Kyoko Yoneyama

Kyoko Morishita

Kyoko Iida

Kyoko Kubo

 

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

Interaction of a stereoscopic 3DCG image with motion parallax displayed in mid-air., , и . SIGGRAPH ASIA Posters, стр. 48:1-48:2. ACM, (2018)Differential effects of childhood neglect and abuse during sensitive exposure periods on male and female hippocampus., , , , , , , и . NeuroImage, (2018)A means of establishing traceability based on a UML model in business application development., , , и . RE, стр. 279-284. IEEE Computer Society, (2011)A Logic Programming Approach to Specifying Logics and Constructing Proofs., , , и . ICLP, стр. 405-424. MIT Press, (1990)EUODHILOS: A General Reasoning System for a Variety of Logics., , и . LPAR, том 624 из Lecture Notes in Computer Science, стр. 501-503. Springer, (1992)Towards Guidelines for Assessing Qualities of Machine Learning Systems., , , , , , , и . QUATIC, том 1266 из Communications in Computer and Information Science, стр. 17-31. Springer, (2020)Requirements-Driven Method to Determine Quality Characteristics and Measurements for Machine Learning Software and Its Evaluation., , , , , , , и . RE, стр. 260-270. IEEE, (2020)AI Ethics Impact Assessment based on Requirement Engineering., , , и . RE Workshops, стр. 152-161. IEEE, (2022)Development of a Business Process Modeling Methodology and a Tool for Sharing Business Processes., , , и . APSEC, стр. 679-686. IEEE Computer Society, (2005)A pattern system for XML application development., , , , , , и . IASTED Conf. on Software Engineering, стр. 117-122. IASTED/ACTA Press, (2004)