Results 181 to 181 of about 307,150 (181)
Some of the next articles are maybe not open access.
Theorem proving and porgramming with dynamic first order logic - full version
2000van Eijck, D.J.N. +2 more
openaire +1 more source
Theorem proving and porgramming with dynamic first order logic - full version
2000