Cover Image

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /

"This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and A...

Full description

Bibliographic Details
Corporate Authors: International Joint Conference on Artificial Intelligence Chambéry, France, SpringerLink (Online service)
Other Authors: Fisher, Michael, 1962-, Owens, Richard, 1965-
Format: Conference Proceeding eBook
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.
programmation en logique.
déduction automatique.
programmation sous contrainte.
logique temporelle.
logique modale.
Programmation logique > Congrès.
Prolog (Langage de programmation) > Congrès.
Logic programming.
Prolog (Computer program language)
Programmatuurtechniek.
Programmation logic > Congrès.
Prolog (langage de programmation) > Congrès.
Modallogik.
Temporale Logik.
Chambéry <1993>.
Electronic books.
Conference proceedings.
Chambéry (1993)
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.63 I566 1995
 
Call Number Status Get It
QA76.63 I566 1995 Available