( en | de | ru )

 

Disambiguierung von "Ueda, Kazunori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MANDELA: A LogicBased Knowledge Programming System.

, , , , , und . FGCS, Seite 613-622. OHMSHA Ltd. Tokyo and North-Holland, (1984)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Shizuteru Ueda

Hirofumi Ueda

Yoshiaki Ueda

Naoki Ueda

 

Weitere Publikationen von Autoren mit dem selben Namen

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