Combinatorial Lemmas for Polyhedrons.

Adam Idzik Konstanty Junosza-Szaniawski

Published in: Discuss. Math. Graph Theory (2005)

Keyphrases

artificial intelligence
theorem prover
theorem proving
artificial neural networks
database
expert systems
pairwise
evolutionary algorithm
multiresolution