Graph-based proof procedures for horn clauses Stan Raatz

By:

Contributor(s):

Material type: Text

TextSeries: Publication details: Birkhauser, Boston 1990Edition: 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 RAA-G (Browse shelf(Opens below))	Available		MAT4437

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 PEI-F.1 Fractals for the classroom: Strategic activities , Vol.1	004 PEI-F.2 Fractals for the classroom: Strategic activities , Vol.2	004 PRE-C Computational discrete mathematics: Combinatorics and graph theory with mathematica	004 RAA-G Graph-based proof procedures for horn clauses	004 RAJ-C2 Computer oriented numerical methods	004 RAJ-D Discrete mathematics	004 RAJ-F Fundamentals of computers	Next

There are no comments on this title.

to post a comment.