Go to:
Logótipo
You are in:: Start > Publications > View > COMPUTATIONAL LOGIC - CL 2000
Map of Premises
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática
Publication

COMPUTATIONAL LOGIC - CL 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
Recommend this page Top
Copyright 1996-2026 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2026-02-27 at 16:37:14 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book