Výsledky vyhledávání - "Winker, S. K."

Akademický článek

Semigroups, Antiautomorphisms, and Involutions: A Computer Solution to an Open Problem, I

Autor: Winker, S. K., Wos, L., Lusk, E. L.

Publikováno v: Mathematics of Computation, 1981 Oct 01. 37(156), 533-545.

Externí odkaz: https://www.jstor.org/stable/2007445

Zobrazit plný text záznamu

Conference

An automated reasoning system.

Autor: Wos, L., Winker, S. K., Lusk, E. L.

Publikováno v: AFIPS Joint Computer Conferences; May1981, p697-702, 6p

Zobrazit plný text záznamu

Akademický článek

Describing semigroups with defining relations of the form $$xy=yz$$ and $$yx=zy$$ and connections with knot theory.

Autor: Vernitski, Alexei¹ asvern@essex.ac.uk

Publikováno v: Semigroup Forum. Aug2017, Vol. 95 Issue 1, p66-82. 17p.

Zobrazit plný text záznamu

Elektronická kniha

Semigroups. Theory and Applications : Proceedings of a Conference Held in Oberwolfach, FRG, Feb. 23 - Mar. 1, 1986

Autor: Helmut Jürgensen, Gerard Lallement, Hanns J. Weinert

Zobrazit plný text záznamu

Elektronická kniha

Collected Works Of Larry Wos, The (In 2 Vols), Vol I: Exploring The Power Of Automated Reasoning; Vol Ii: Applying Automated Reasoning To Puzzles, Problems, And Open Questions

Autor: Gail W Pieper, Larry Wos

Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification, and circuit design. This two-volume book includes all the published papers of Dr Larry Wos, one of the world's pioneers in aut

Zobrazit plný text záznamu

Elektronická kniha

Readings in Artificial Intelligence

Autor: Bonnie Lynn Webber, Nils J. Nilsson

Readings in Artificial Intelligence focuses on the principles, methodologies, advancements, and approaches involved in artificial intelligence. The selection first elaborates on representations of problems of reasoning about actions, a problem simila

Zobrazit plný text záznamu