Search alternatives:
smash » slash
sweath » sheath, sweat, sweats
swat » sweat, swan, seat
sat » salt, satz
spath » spat, xpath, spate
-plate » -plates, -place
Cover Image
Read Now

1
Published 2024
Springer Nature Switzerland
“... submissions. The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier...”
Cover Image
Read Now

2
Published 2024
Springer Nature Switzerland
“... proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi...”