Results 171 to 180 of about 271,070 (187)

Automated reasoning and exhaustive search: Quasigroup existence problems

Computers and Mathematics With Applications, 1995
exaly  

Automating Reasoning

2000
openaire   +1 more source

Automated Reasoning

2018
Jeff Z. Pan, Jianfeng Du
openaire   +1 more source

Job-shop scheduling using automated reasoning: A case study of the car-sequencing problem

Journal of Automated Reasoning, 1986
exaly  

Distributed automated reasoning: issues in coordination, cooperation, and performance

IEEE Transactions on Systems, Man, and Cybernetics, 1991
exaly  

Preface: The field of automated reasoning

Computers and Mathematics With Applications, 1995
exaly  

Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Tarski’s Geometry

Lecture Notes in Electrical Engineering, 2016
exaly  

Automated Reasoning

1991
openaire   +1 more source

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

Semigroup Forum
Alexei Vernitski, Alexei Lisitsa
exaly  

Implementing an automated reasoning system for multi-agent knowledge and time

Lecture Notes in Computer Science, 2005
exaly