A Complete Equational Axiomatisation of Partial Differentiation.

Gordon D. Plotkin

Published in: MFPS (2020)

Keyphrases

inference rules
theorem proving
three dimensional
modal logic
neural network
real world
information technology
theorem prover