Fundamental Scientific Library of NAS RA

The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff.

By: Ferrante, Jeanne, 1949-Contributor(s): Rackoff, Charles W, 1948-Material type: TextTextLanguage: English Series: Lecture notes in mathematics (Springer-Verlag) ; 718Publication details: Berlin ; New York : Springer-Verlag, 1979Description: x, 243 p. : ill. ; 24 cmISBN: 0387095012Subject(s): Predicate calculus | Computational complexity
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Notes Date due Barcode
Գրքեր/Books Գրքեր/Books Fundamental Scientific Library
Gulbenkian Individual Collection Gulb/5420 (Browse shelf(Opens below)) Available ILL Non-Circ. 901005420

Includes index

Bibliogr.: p. [234]-238.

There are no comments on this title.

to post a comment.


ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License