En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

The decision problem :
solvable classes of quantificational formulas

Bookmarks Report an error
Ouvrage

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

Addison-Wesley Publishing Company

1979

271 p.

978-0-201-02540-8

00000710

03B25 ; 03Bxx ; 11U05 ; 12L05 ; 20F10

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

Publisher City : Amsterdam ; Don Mills ; London

Publisher country : Grande-Bretagne

Language : English

EAN13 : 9780201025408

ISBN : 0-201-02540-X

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

Location : Ouvrage RdC (DREB)

Book type : Monographie

Availability : empruntable

Level of authorization : Public


Copies

Number of copies : 1
No. Call n° Bar code Commentary
1 00000710 [available]
Bookmarks Report an error