Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Your search returned 4 results.

Sort
Results
1.
Canonical equational proofs by Series: Progress in theoretical computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston Birkhauser 1991
Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 511.33 B124, ...
2.
Finite automata formal logic and circuit complexity by Series: Progress in theoretical computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston Birkhauser 1994
Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 511.3 St912, ...
3.
The graph isomorphism problem : its structural complexity by Series: Progress in theoretical computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston Birkhauser 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.5 K75.
4.
Complexity theory of real functions by Series: Progress in theoretical computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston Birkhauser Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 515.8 K75.
Pages
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in