Un q-tableau d'Euler.

Arthur Randrianarivony

Published in: Eur. J. Comb. (2010)

Keyphrases

description logics
differential equations
automated theorem proving
laplace transform
neural network
pattern recognition
proof search
expert systems
viewpoint
first order logic