Image from Google Jackets
Image from OpenLibrary

Graph-based proof procedures for horn clauses Stan Raatz

By: Contributor(s): Material type: TextTextSeries: Publication details: Birkhauser, Boston 1990Edition: Description: Subject(s): DDC classification:
  • 004 RAA-G
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 Book Dept. of Mathematics Processing Center Dept. of Mathematics 004 RAA-G (Browse shelf(Opens below)) Available MAT4437

There are no comments on this title.

to post a comment.