Nr. 186 (1984): PB-186 Logic Programming, Substitutions, and Finite Computability

Publiceret: 1985-01-01

Articles