Français
The decision problem :
solvable classes of quantificational formulas
Ouvrage
Dreben, Burton (Principal) ; Goldfard, Warren D. (Co-auteur)
Addison-Wesley Publishing Company
1979
271 p.
978-0-201-02540-8
00000710
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] |
