ÁLVEZ GIMÉNEZ, Javier (2008) A transformational approach to constructive negation in constraint normal logic programming. PhD thesis, UPV/EHU.
Texto completo no está disponible desde este repositorio.| Item Type: | Thesis (PhD) | ||||||
|---|---|---|---|---|---|---|---|
| Subjects: | Mathematics > Computer Sciences Technological Sciences > Computer technology Logic > Application of logic | ||||||
| Divisions: | UPV/EHU > Informática > Lenguajes y sistemas informáticos | ||||||
| Contributors: |
| ||||||
| Date Deposited: | 24 May 2010 16:58 | ||||||
| Last Modified: | 24 May 2010 17:03 | ||||||
| URI: | http://edtb.euskomedia.org/id/eprint/4900 |
- ASCII Citation
- BibTeX
- DIDL
- Dublin Core
- EP3 XML
- EndNote
- Eprints Application Profile
- HTML Citation
- JSON
- METS
- MODS
- OAI-ORE Resource Map (Atom Format)
- OAI-ORE Resource Map (RDF Format)
- OpenURL ContextObject
- OpenURL ContextObject in Span
- RDF+N-Triples
- RDF+N3
- RDF+XML
- Refer
- Reference Manager
- Simple Metadata
Personal del repositorio solamente: página de control del documento
¹ Data hau katalogazio datuei dagokie, ez dokumentuari berari.
