منابع مشابه
Conteo de Modelos en la Clase Sintáctica 2mu-3MON
The counting model problem in Boolean formulas is #P-complete, i.e., there is no known deterministic algorithm in the classical computability model (Turing machine) that makes this count in polynomial time. The difficulty persists even imposing more restrictive conditions on the syntactic classes of Boolean formulas. In this paper we present a treatable family within the syntactical class 2μ-3M...
متن کاملUn repertorio legislativo hipertextual mediante marcado de texto: las Disposiciones Generales del Boletín Oficial de la Comunidad de Madrid
Resumen. Esta comunicación presenta un proyecto en curso encaminado a convertir parte de una legislación autonómica, la de la Comunidad de Madrid, en un conjunto de texto marcado con enlaces hipertextuales, accesible a través de medios diversos (básicamente Internet y CD-ROM u otros soportes físicos). Desarrollado por un equipo del Departamento de Biblioteconomía y Documentación de la Universid...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: FENIX
سال: 1973
ISSN: 2709-5649,0015-0002
DOI: 10.51433/fenix-bnp.1973.n23.p129-194