An edition of The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science) (2009)

The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science)

by

Cover of: The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science) by D. A. Wolfram, D. A. Wolfram
Read

My Reading Lists:

Create a new list
Notes
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
October 4, 2021 | History
Edit
An edition of The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science) (2009)

The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science)

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Cambridge University Press
Pages
136

Check nearby libraries

Buy this book

Subjects

Logic programming
Edition Availability
Cover of: The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science)
The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science)
June 16, 2009, Cambridge University Press
Paperback

Add another edition?

Book Details

Classifications

Library of Congress
QA76.63 .W64 1993

The Physical Object

Format
Paperback
Number of pages
136
Dimensions
9.5 x 6.7 x 0.4 inches
Weight
8.8 ounces

Edition Identifiers

Open Library
OL24085166M
Internet Archive
clausaltheorytyp00wolf
ISBN 10
0521117909
ISBN 13
9780521117906
OCLC/WorldCat
318871800

Work Identifiers

Work ID
OL14977322W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
October 4, 2021 Edited by ImportBot import existing book
June 29, 2019 Edited by MARC Bot import existing book
April 6, 2014 Edited by ImportBot Added IA ID.
April 22, 2011 Edited by OCLC Bot Added OCLC numbers.
March 12, 2010 Created by ImportBot initial import