Logical environments /

Logical environments /

Saved in:
Bibliographic Details
Corporate Authors: ESPRIT Basic Rearch Action 3245 "Logical Frameworks: Design, Implementation and Experiment", ESPRIT Basic Research Action 3245 "Logical Frameworks: Design, Implementation and Experiment.", ESPRIT Basic Research Action 3245 "Logical Frameworks: Design, Implementation and Experiment", International Workshop on Logical Frameworks
Other Authors: Huet, Gérard, Huet, Gérard, Plotkin, G (Gordon), 1946-
Format: Conference Proceeding Book
Language:English
Published: Cambridge : Cambridge University Press, 1993
Cambridge ; New York : 1993
Cambridge ; New York, NY : 1993
Cambridge ; New York, NY, USA : 1993
Cambridge [Cambridgeshire] ; New York, NY, USA : 1993
Cambridge, [England] : New York, NY : 1993
Cambridge ; New York, N.Y. : 1993
Subjects:
Artificial intelligence > Congresses
Automatic theorem proving > Congresses
Automatic theorem proving
Automatic theorum proving
Computer programming
Computer science > Mathematics > Congresses
Frames (Information theory) > Congresses
Logic programming
Logic > Congresses
Logic, Symbolic and mathematical > Congresses
Logic, Symbolic and mathematical
Artificial intelligence
Conference papers and proceedings
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Stanford University

Holdings details from Stanford University
Call Number: Q390 .L64 1993

Yale University

Holdings details from Yale University
Call Number: QA76.9 A96 L63X 1993

University of Chicago

Holdings details from University of Chicago
Call Number: QA76.6.L634 1993

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number: QA76.9.A96.L63 1993

Harvard University

Holdings details from Harvard University
Call Number: Q390 .L64 1993x
QA76.63 .L63 1993

Duke University

Holdings details from Duke University
Call Number: QA76.9.A96 L63 1993

Dartmouth College

Holdings details from Dartmouth College
Call Number: QA76.9.A96 L63 1993

Cornell University

Holdings details from Cornell University
Call Number: QA76.63 .L835 1991

Columbia University

Holdings details from Columbia University
Call Number: Q390 .L643 1993

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number: QA76.63 .L659 1993

Brown University

Holdings details from Brown University
Call Number: Q390 .L64x 1993

Similar Items