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 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Computing in Horn clause theories / Peter Padawitz. by Series: EATCS monographs on theoretical computer science ; v 16.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, ©1988
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 P123.
Place hold Add to cart
2.
Deduction and declarative programming / Peter Padawitz. by Series: Cambridge tracts in theoretical computer science ; 28
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, c1992
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 P123.
Place hold Add to cart
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