Amazon cover image

Image from Amazon.com

Image from Google Jackets

Normal view MARC view ISBD view

Clausal Theory of Types

By:

Wolfram, D A

Material type: Text

Text

TextSeries: Cambridge Tracts in Theoretical Computer Science, 21Publication details: Cambridge; Cambridge University Press; 1993Description: 124pISBN:

0 521 39538 0

Subject(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)

Holdings ( 1 )
Comments ( 0 )

Holdings
Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	681.2.06 WOL (Browse shelf(Opens below))		Available		29443

There are no comments on this title.

to post a comment.

Place hold
Print
Send to device
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Share

The Institute of Mathematical Sciences, Chennai, India