Catalog Record: Logic program synthesis and transformation :...

Navigation

Tools

Logic program synthesis and transformation : proceedings of LOPSTR '91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 / Tim Clement and King-Kiu Lau (eds.)

Other Authors:	Clement, T. P. 1954-, Lau, K.-K. 1953-
Language(s):	English
Published:	London ; Springer-Verlag, 1992.
Subjects:	Logic programming > Congresses.
Physical Description:	x, 337 p. ; 25 cm.
Original Format:	Book Conference
ISBN:	0387197427 3540197427
Locate a Print Version:	Find in a library

Viewability:

Limited (search only) (original from University of California)

Catalog Search
Bibliographic search (Title, Author, Subject, ISBN/ISSN, Publisher, Series Title, or Year of Publication) of all HathiTrust items

Experimental Search
Full-text search of a small subset of HathiTrust items

Build & View Custom Collections

Go to Public Collections to browse other people's collections. Items from these collections can be copied into your own private collection.

Create your own Private Collection by searching or browsing to find items of interest and then adding them to a collection.

Full-text searching is available within public or private collections, and within individual items.

Close

Search Tips

Phrase Searching

Use quotes to search an exact phrase: e.g. "occult fiction"

Wildcards

Use * or ? to search for alternate forms of a word. Use * to stand for several characters, and ? for a single character: e.g. optim* will find optimal, optimize or optimum; wom?n will find woman and women.

Boolean Searching

Use AND and OR between words to combine them with Boolean logic: e.g. (heart OR cardiac) AND surgery will find items about heart surgery or cardiac surgery. Boolean terms must be in uppercase.