نتایج جستجو برای: declarative recast
تعداد نتایج: 12503 فیلتر نتایج به سال:
Journal:
:Electronic Notes in Theoretical Computer Science
2002
Journal:
:TheoLogica: An International Journal for Philosophy of Religion and Philosophical Theology
2017
Journal:
:Electronic Notes in Theoretical Computer Science
2001
Journal:
:ACM SIGSOFT Software Engineering Notes
2006
Journal:
:The Journal of the Acoustical Society of America
1982
Journal:
:Journal of Logic and Computation
2022
Abstract In this paper, we analyze the physical puzzle IcoSoKu, a game about placing some given triangular tiles on faces of an icosahedron in order to fill capacities its vertices, and propose generalization called 3coSoKu, admitting arbitrary playing field with faces, set tiles. First, prove strong NP-completeness even when is convex polyhedron equilateral triangles as faces. Second, encode 3...
Journal:
:IEEE Transactions on Knowledge and Data Engineering
1993
Journal:
:Autonomous Agents and Multi-Agent Systems
2010
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید