( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MANDELA: A LogicBased Knowledge Programming System.

, , , , , и . FGCS, стр. 613-622. OHMSHA Ltd. Tokyo and North-Holland, (1984)

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.

Shizuteru Ueda

Hirofumi Ueda

Yoshiaki Ueda

Naoki Ueda

 

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

MANDELA: A LogicBased Knowledge Programming System., , , , , и . FGCS, стр. 613-622. OHMSHA Ltd. Tokyo and North-Holland, (1984)Efficient Stream/Array Processing in Logic Programming Languages., и . FGCS, стр. 317-326. OHMSHA Ltd. Tokyo and North-Holland, (1984)Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection., , и . CyPhy, том 10107 из Lecture Notes in Computer Science, стр. 17-30. Springer, (2016)Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems., , , , и . ICTAC, том 5684 из Lecture Notes in Computer Science, стр. 349-355. Springer, (2009)LMNtal as a Unifying Declarative Language: Live Demonstration., , , и . ICLP, том 4079 из Lecture Notes in Computer Science, стр. 457-458. Springer, (2006)Asymmetric DHT Based on Performance of Peers., и . APNOMS, том 5787 из Lecture Notes in Computer Science, стр. 427-430. Springer, (2009)c-sat: A Parallel SAT Solver for Clusters., и . SAT, том 5584 из Lecture Notes in Computer Science, стр. 524-537. Springer, (2009)Type checking data structures more complex than trees., , и . CoRR, (2022)In pursuit of Japanese-style Research and Education of Computer Software: Experiences with Software-Centered Research Projects.. ICCTA, стр. 5-6. IEEE, (2022)Diagnosing Non-Well-Moded Concurrent Logic Programs., и . JICSLP, стр. 215-229. MIT Press, (1996)