Results 281 to 290 of about 1,200,969 (291)

Automated reasoning and exhaustive search: Quasigroup existence problems

Computers and Mathematics With Applications, 1995
exaly  

Automating Reasoning

2000
openaire   +1 more source

Automated Reasoning

2010
Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger   +5 more
openaire   +1 more source

Automated Reasoning

2001
openaire   +1 more source

Semigroups, keis and groups induced by knot diagrams: an experimental investigation with automated reasoning

Semigroup Forum
Alexei Lisitsa, Alexey Vernitsky
exaly  

Automated Reasoning

2017
openaire   +1 more source

Automating Reasoning

1988
openaire   +1 more source

Automated Reasoning

1991
openaire   +1 more source

Artificial Intelligence: Automated Reasoning

Michael Kohlhase
exaly  

Automated Reasoning

2014
openaire   +1 more source