Zoekresultaten

Zoekopdracht: faculteit: "FNWI" en publicatiejaar: "2002"

Auteurs C.E. Areces, J.M. Heguiabehere Titel Hylores: Direct resolution for hybrid logics Boek/bron titel Proceedings of CADE-18 Auteur/Editor A. Voronkov Uitgever Springer Verlag Plaats Berlin Jaar 2002 Pagina's 156-160 Faculteit Faculteit der Natuurwetenschappen, Wiskunde en Informatica Instituut/afd. FNWI: Institute for Logic, Language and Computation (ILLC) Soort document Hoofdstuk Document finder Gebruik dit adres om naar deze pagina te linken: http://dare.uva.nl/record/105938 Vraag/opmerking over dit recordMail aan een collega Toevoegen aan bewaarset

• Disclaimer/Klachtenregeling
  Meent u dat de digitale beschikbaarstelling van bepaald materiaal inbreuk maakt op enig recht dat u toekomt of uw (privacy)belangen schaadt, dan kunt u dit onderbouwd aan de Universiteitsbibliotheek laten weten. Bij een gegronde klacht zal de Universiteitsbibliotheek het materiaal ontoegankelijk maken en/of van de website verwijderen, dan wel samen met u bekijken hoe op een andere manier aan uw klacht tegemoet kan worden gekomen.
  Stuurt u hiervoor een e-mail naar: dare@uva.nl, of een brief naar: Bibliotheek van de Universiteit van Amsterdam, afdeling Elektronische Diensten, UvA-DARE, Singel 425, 1012 WP Amsterdam. Er zal dan zo spoedig mogelijk contact met u worden opgenomen.

• UvA-DARE is een dienst van de Bibliotheek van de Universiteit van Amsterdam.