Systematic and local search algorithms for regular-SAT
Béjar Torres, Ramón
Manyà Serres, Felip, dir. (Universitat de Lleida)

Publicación:	Bellaterra : Universitat Autònoma de Barcelona, 2001
Nota:	Consultable des del TDX
Nota:	Títol obtingut de la portada digitalitzada
Nota:	Tesi doctoral - Universitat Autònoma de Barcelona, Facultat de Ciències, Departament d'Informàtica, 2000
Nota:	Bibliografia. Índex
Derechos:	Aquest material està protegit per drets d'autor i/o drets afins. Podeu utilitzar aquest material en funció del que permet la legislació de drets d'autor i drets afins d'aplicació al vostre cas. Per a d'altres usos heu d'obtenir permís del(s) titular(s) de drets.
Lengua:	Anglès
Documento:	Tesi doctoral
Materia:	Lògica polivalent ; Teoremes ; Demostració automàtica
ISBN:	8469978594

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

59 p, 619.0 KB

78 p, 1006.2 KB

El registro aparece en las colecciones:
Documentos de investigación > Tesis doctorales