Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /

"This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full papers of the 5 invited talks by senior researchers, the book contains revised versions of th...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Jouannaud, Jean-Pierre
Format: eBook
Language:English
Published: Berlin ; New York : Springr-Verlag, [1994]
Series:Lecture notes in computer science ; 845.
Subjects:
Computer programming > Congresses.
Logic, Symbolic and mathematical > Congresses.
représentation connaissance.
théorie démonstration.
déduction.
programmation automatique.
contrainte.
programmation en logique.
programmation sous contrainte.
logique informatique.
Logique symbolique et mathématique > Congrès.
Programmation (Informatique) > Congrès.
Computer programming.
Logic, Symbolic and mathematical.
Logica.
Computers.
Ordinateurs > Programmation.
Logique symbolique et mathématique.
Electronic books.
Conference proceedings.
Electronic resources (Books)
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: QA74.6 .C6515 1994
 
Call Number Status Get It
QA74.6 .C6515 1994 Available