COMPUTATIONAL LOGIC - CL 2000

Title

Type

International Conference Proceedings Book

Date

2000

Title

COMPUTATIONAL LOGIC - CL 2000

Type

International Conference Proceedings Book

Year

2000

Conference International

1st International Conference on Computational Logic, CL 2000

London, 24 July 2000 through 28 July 2000

Other information

Language: English

Type (Professor's evaluation): Scientific

ISBN: 3-540-67797-6

Electronic ISBN: 978-3-540-44957-7

Collection: Lecture Notes in Computer Science

Vol.: 1861

Documents

We could not find any documents associated to the publication.

Publications included

Article in International Conference Proceedings Book

De Castro Dutra, I (Author) (Other); Costa, VS (Author) (FCUP); Bianchini, R (Author) (Other)

2000