The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Search results

Query: faculty: "FNWI" and publication year: "2002"

AuthorsC.E. Areces, J.M. Heguiabehere
TitleHyLoRes: A Hybrid Logic Prover Based on Direct Resolution
Year2002
Pages12
Title seriesTechnical Reports
Series numberPP-2002-15
FacultyFaculty of Science
Institute/dept.FNWI: Institute for Logic, Language and Computation (ILLC)
Document typeReport
Document finderUvA-Linker