( en | de | ru )

 

Disambiguierung von "Okada, Mitsuhiro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Conditional Equational Programming and the Theory of Conditional Term Rewriting.

, und . FGCS, Seite 337-346. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)

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.

Mitsuhiro Saito

Mitsuhiro Matsubara

Naotake Okada

Hinoto Okada

Mamiko Okada

 

Weitere Publikationen von Autoren mit dem selben Namen

The Calculus of Algebraic Constructions, , und . CoRR, (2006)Inductive-data-type Systems, , und . CoRR, (2006)System Description of LAMBDALG - A Higher Order Algebraic Specification Language., und . LPAR, Volume 698 von Lecture Notes in Computer Science, Seite 354-356. Springer, (1993)On Effects of Changing Multi-attribute Table Design on Decision Making: An Eye-Tracking Study., , , und . Diagrams, Volume 12169 von Lecture Notes in Computer Science, Seite 365-381. Springer, (2020)A Semantics for "Typically" in First-Order Default Reasoning., und . JSAI-isAI Workshops, Volume 12758 von Lecture Notes in Computer Science, Seite 3-20. Springer, (2020)Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk).. RTA, Volume 21 von LIPIcs, Seite 4-19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations., , und . Stud Logica, 100 (4): 753-785 (2012)Ideal Concepts, Intuitions, and Mathematical Knowledge Acquisitions in Husserl and Hilbert.. Progress in Discovery Science, Volume 2281 von Lecture Notes in Computer Science, Seite 40-77. Springer, (2002)Canonical Conditional Rewrite Systems., , und . CADE, Volume 310 von Lecture Notes in Computer Science, Seite 538-549. Springer, (1988)Sensor-Augmented Egocentric-Video Captioning with Dynamic Modal Attention., , und . ACM Multimedia, Seite 4220-4229. ACM, (2021)