Results 301 to 302 of about 201,623 (302)
Some of the next articles are maybe not open access.

Higher-Order Logic

2001
van Benthem, J.F.A.K., Doets, H.C.
openaire   +1 more source

Higher-Order Logic

2011
openaire   +1 more source
computer science - logic in computer science
mathematics
fos: computer and information sciences
16. peace & justice
logic in computer science cs.lo
f.4.1
higher-order logic type theory
computer science - programming languages
theorem proving
previous   29  30  31  

Home - About - Disclaimer - Privacy