Algebraic and logic programming Michael Hanus

By:

Contributor(s):

Material type: Text

TextSeries: Publication details: Springer-Verlag, Berlin 1996Edition: Description: Subject(s):

DDC classification:

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

Holdings
Item type	Current library	Home library	Call number	Status	Date due	Barcode
Book	Dept. of Mathematics Processing Center	Dept. of Mathematics	004 HAN-A (Browse shelf(Opens below))	Available		MAT5128

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	Next
Previous	004 GRO-D Discrete mathematics: An introduction to concepts, methods, and applications	004 GRO-D Discrete mathematics for computing	004 HAB-P Probabilistic methods for algorithmic discrete mathematics	004 HAN-A Algebraic and logic programming	004 HAR-G Guide to computer algebra systems	004 HAU-D Design sensitivity analysis of structural systems	004 HEM-C Complexity theory companion	Next

There are no comments on this title.

to post a comment.