IMSc Library catalog › Details for: Derivation and Computation :(CTC 51)

Normal view MARC view ISBD view

Derivation and Computation :(CTC 51)

By: Simmons, HMaterial type: Text

TextSeries: Cambridge Tracts in Theoretical Computer Science, 51Publication details: Cambridge ; CUP ; 2000Description: 384ISBN: 0 521 77173 0Subject(s): Proof Theory Lambda Calculus Type Theory

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3 SIM (Browse shelf (Opens below))		Available		43788

Previous		No cover image available				No cover image available	No cover image available	Next
Previous	681.3 SHO Theoretical aspects of Rationality and knowledge (TARK 1996)	681.3 SIM Time series computationas in fortran and fap	681.3 SIM Automata Theory	681.3 SIM Derivation and Computation :(CTC 51)	681.3 SIM Proceedings of the International Conference of Computational Methods in Sciences and Engineering 2003	681.3 SKW Software system design methods challenge of advanced computing technology / edited by Jozef K. Skwirzynski	681.3 SLO Introduction to minicomputers and microcomputers	Next

There are no comments on this title.

to post a comment.