 |
 |
Area della Ricerca di Padova
|
The computational complexity of logical theories /
by Ferrante, Jeanne
Normal View ISBD View
Authors:
Ferrante, Jeanne
|
Rackoff, Charles W.
Series:
Lecture notes in mathematics ;
. 718
Published by :
Springer-Verlag,
(Berlin : )
Physical details: X, 243 p. : ill. ; 24 cm.
Subject(s):
Predicate calculus
|
Computational complexity
Year : 1979
No tags for this title.
| Item type | Location | Call Number | Copy | Status | Date Due |
|---|---|---|---|---|---|
| Books | Istituto di Ingegneria Biomedica | -LNM718 (Browse Shelf) | 1 | Available |
Browsing Istituto di Ingegneria Biomedica Shelves Close Shelf Browser
Important links here.
There are no comments for this item.