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, Gé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!

Be the first to leave a comment!

Similar Items