skip to main content
Show Results with: Show Results with:

A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas

Formica, A. et al.

LOGIC PROGRAMMING -INTERNATIONAL CONFERENCE-.; Logic programming; Kanagawa; Japan, 1995; Jun, 1995, 819 -- London; MIT Press; c1995 Part: Part; -- 1995

Check library holdings

Searching Remote Databases, Please Wait