Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings / edited by Laurent Fribourg.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Fribourg, Laurent (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Edition:1st ed. 2001.
Series:Lecture Notes in Computer Science, 2142
Springer eBook Collection.
Subjects:
Programming languages (Electronic computers).
Artificial intelligence.
Mathematical logic.
Computer logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Description
Physical Description:XII, 628 p. online resource.
ISBN:9783540448020
ISSN:0302-9743 ;
DOI:10.1007/3-540-44802-0

Similar Items