Handbook of logic in computer science Abramsky S Ed.; Gabbay D M Ed.; Maibaum T S E Ed.

By:

Contributor(s):

Material type: Text

TextLanguage: English Publication details: Oxford Clarendon Press 1992Description: p. cmSubject(s):

DDC classification:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Call number	Vol info	Status	Barcode
Reference	Central Science Library	Central Science Library	D65,8(B)92:(R1) N2.2 RR (Browse shelf(Opens below))	Vol 2	Not for loan	SL1025932

Previous	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	Next
Previous	D65,8(B)92:(R1) N2 Logic and object	D65,8(B)92:(R1) N2 Intensional logics for programming	D65,8(B)92:(R1) N2.1 RR Handbook of logic in computer science	D65,8(B)92:(R1) N2.2 RR Handbook of logic in computer science	D65,8(B)92:R1p1,N86 M8 Proceeding on Foundations of logic and functional programming	D65,8(B)92:(R1)p1,N91 N1 Proceeding on logic programming	D65,8(B)92:(RIHC) N0 Graph based proof procedures for horn clauses	Next

There are no comments on this title.

to post a comment.