Per citar aquest document: http://ddd.uab.cat/record/36681
Systematic and local search algorithms for regular-SAT / memòria de treball presentada per en Ramón Béjar Torres (...) ; sota la direcció del Dr. Felip Manyà
Béjar Torres, Ramón
Manyà Serres, Felip, dir. (Universitat de Lleida)

Publicació: Bellaterra : Universitat Autònoma de Barcelona, 2001
Resum: .
Nota: Bibliografia. Índex
Nota: Tesi doctoral - Universitat Autònoma de Barcelona, Facultat de Ciències, Departament d'Informàtica, 2000
Nota: Consultable des del TDX
Nota: Títol obtingut de la portada digitalitzada
Drets: ADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al servei TDX. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs.
Llengua: Anglès.
Document: Tesis i dissertacions electròniques ; doctoralThesis
Matèria: Lògica polivalent ; Teoremes ; Demostració automàtica
ISBN: 8469978594

Adreça alternativa:: http://hdl.handle.net/10803/3018


59 p, 619.0 KB

78 p, 1006.2 KB

El registre apareix a les col·leccions:
Documents de recerca > Tesis doctorals

 Registre creat el 2009-05-07, darrera modificació el 2016-06-05



   Favorit i Compartir