Results 111 to 113 of about 1,331 (113)

On the distribution of ap k modulo one

Mathematika, 1991
exaly  

Control design of discrete-time unicycle model using satisfiability modulo theory

Systems Science and Control Engineering
Dieky Adzkiya, Alessandro Abate, Muhammad Syifa'Ul Mufid   +2 more
exaly  

Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers

2012
CARLOS Ansotegui, Mateu Villaret, Felip Manya   +2 more
exaly