Research Catalog

Logic programming : proceedings of the North American conference, 1989

Title: Logic programming : proceedings of the North American conference, 1989 / edited by Ewing L. Lusk and Ross A. Overbeek.
Publication: Cambridge, Mass. : MIT Press, c1989.

Filter by

Item details
Status	Vol/Date	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 2	Text	Request in advance	JSK 90-102 v. 2	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 1	Text	Request in advance	JSK 90-102 v. 1	Offsite

Additional Authors

Description

2 v. (x, 1239 p.) : ill.; 23 cm.

Series Statement

Logic programming

Subject

Note

"On constructive negation in logic programming / Teodor C. Przymusinski" (19 p.) inserted.

Bibliography (note)

Call Number

JSK 90-102

ISBN

0262620642 (set)

LCCN

89038942

OCLC

Title

Logic programming : proceedings of the North American conference, 1989 / edited by Ewing L. Lusk and Ross A. Overbeek.

Imprint

Cambridge, Mass. : MIT Press, c1989.

Series

Logic programming

Bibliography

Includes bibliograhical references and index.

Added Author

Lusk, Ewing.

Overbeek, Ross A.

Research Call Number

JSK 90-102