( en | de | ru )

 

Disambiguierung von "Tamura, Naoyuki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix.

, , und . ICLP (Technical Communications), Volume 17 von LIPIcs, Seite 86-97. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)

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.

Claudia Tamura

Ichiro Tamura

Hitoshi Tamura

Naoki Tamura

Gabriel Tamura

 

Weitere Publikationen von Autoren mit dem selben Namen

lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic., und . IJCAR, Volume 2083 von Lecture Notes in Computer Science, Seite 670-684. Springer, (2001)Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation)., , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 456-462. Springer, (2012)An Optimizing Prolog Compiler., , , und . LP, Volume 264 von Lecture Notes in Computer Science, Seite 104-115. Springer, (1986)Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming.. INAP, Volume 4369 von Lecture Notes in Computer Science, Seite 81-87. Springer, (2005)The Subaru FMOS Galaxy Redshift Survey (FastSound). III. The mass-metallicity relation and the fundamental metallicity relation at $z\sim1.4$, , , , , , , , , und 6 andere Autor(en). (2015)cite arxiv:1508.01512Comment: 14 pages, 10 figures, 2 tables, accepted for publication in PASJ.Compiling Resources in a Linear Logic Programming Language., und . Implementation Technology for Programming Languages based on Logic, Seite 32-45. (1998)Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings., , und . Int. J. Artif. Intell. Tools, 26 (1): 1760005:1-1760005:29 (2017)Hamiltonian Cycle Reconfiguration with Answer Set Programming., , , , , , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 262-277. Springer, (2023)Japanese-to-English Project PROTRAN & TWINTRAN., , , , , , und . COLING, Seite 50-52. (1990)SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks., , , , und . CMSB, Volume 14137 von Lecture Notes in Computer Science, Seite 175-183. Springer, (2023)