Clausal Theory of Types

By: Wolfram, D AMaterial type: TextTextSeries: Cambridge Tracts in Theoretical Computer Science, 21Publication details: Cambridge ; Cambridge University Press ; 1993Description: 124pISBN: 0 521 39538 0Subject(s): Computer - Logic Programming
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha