Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens, eds.

Saved in:

Bibliographic Details
Corporate Author:	International Joint Conference on Artificial Intelligence Chambéry, France
Other Authors:	Fisher, Michael, 1962-, Owens, Richard, 1965-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, ©1995.
Series:	Lecture notes in computer science ; 897. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Logic programming > Congresses. Prolog (Computer program language) > Congresses.

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA76.63 .I566 1995
QA76.63 .I566 1995	Available Place a Hold