Refine your search

Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Efficient Algorithms for listing combinatorial structures

by Goldberg, Leslie Ann.

Series: Distinguished Dissertations in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University press ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 48 Call number: 681.3 GOL.

BOOKS
Logic Programming : Operational Semantics and Proof Theory

by Andrews, James H.

Series: Distinguished Dissertations in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 37 Call number: 681.3 AND.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha