Search alternatives:
count » court

1
Published 1986
Springer Berlin Heidelberg
Table of Contents: ...Logic programming and parallel complexity -- The generalized counting method for recursive logic...