Library of American University of Madaba

Normal View MARC View ISBD View

Computer science logic : 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings / CSL 2005 14th Annual Conference of the EACSL Fourteenth Annual Conference of the EACSL Conference of the EACSL Luke Ong (ed.). - Berlin : Springer, 2005. - xi, 565 p. : ill. ; 24 cm. - Lecture notes in computer science ; 3634 0302-9743 ; .

Includes bibliographical references and index.



ISBN: 9783540282310 3540282319 (pbk.)

Subjects--Topical Terms:
Computer logic--Congresses.

Dewey Class. No.: 005.1015113 / W926