Computation theory

proceedings : Fifth symposium, Zaborow, Poland, December 3-8, 1984 / ed. by Andrzej Skowron

STACS 86

3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 / edited by B. Monien and G. Vidal-Naquet

Descriptif des bandes magnétiques du bulletin signalétique

Eurocal' 85

Using Sophisticated Models in Resolution Theorem Proving