Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings / edited by Peter G. Clote, Helmut Schwichtenberg.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Clote, Peter G. (Editor), Schwichtenberg, Helmut (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Edition:1st ed. 2000.
Series:Lecture Notes in Computer Science, 1862
Springer eBook Collection.
Subjects:
Artificial intelligence.
Programming languages (Electronic computers).
Architecture, Computer.
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:XIV, 550 p. online resource.
ISBN:9783540446224
ISSN:0302-9743 ;
DOI:10.1007/3-540-44622-2

Similar Items