Normal view MARC view ISBD view

Computer science logic : selected papers / International Workshop...; ed. Mogens Nielsen, Wolfgang Thomas

Secondary Author Nielsen, Mogens
Thomas, Wolfgang Corporate Author (Secondary) International Workshop [on] Computer Science Logic Aarhus, 1997 Country Alemanha. Publication Berlin : Springer, cop. 1998 Description VIII, 509 p. : il. ; 25 cm Series Lecture notes in computer science , 1414 ISBN 3-540-64570-5 CDU 519.6

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Holdings ( 2 )
Title notes
Comments ( 0 )

Holdings
Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 47613	Available		221190
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 109265	Available		242832