CIRM - Videos & books Library - The decision problem :<br>solvable classes of quantificational formulas

Ouvrage

Auteurs : Dreben, Burton (Principal) ; Goldfard, Warren D. (Co-auteur)

Date de parution : 1979

Nbre/N° de page : 271 p.

ISBN : 978-0-201-02540-8

Cote : 00000710

calcul des prédicats # classe résoluble de formule quantificationnelle # insolvabilité # problème de décision # solvabilité et coinstantiation

Ville d'édition : Amsterdam ; Don Mills ; London

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780201025408

ISBN : 0-201-02540-X

Collation : Bibliogr. ; Index ; xii#appendix#24 cm#rel.

Localisation : Ouvrage RdC (DREB)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Nbre d'exemplaires : 1

N°	Cote	Code barre	Commentaire
1		00000710	[disponible]