Filter

Deductive Databases

34 books found

The Deductive Spreadsheet

by Iliano Cervesato

2013 3 ed.

Handbook of Automated Reasoning

by Andrei Voronkov

2001 3 ed.

Deductive and object-oriented databases

by International Conference on Deductive and Object-Oriented Databases (4th 1995 Singapore)

1995 3 ed.

Deductive and object-oriented databases

by International Conference on Deductive and Object-Oriented Databases (3rd 1993 Phoenix, Arizona), Stefano Ceri

1993 3 ed.

Cikm 93

by Bharat K. Bhargava, International Conference on Information and Knowledge Management (2nd 1993 Washington, D.C.)

1993 2 ed.

Inkonsistenzen in deduktiven Datenbanken

by Guido Moerkotte

1990 2 ed.

Datalog in Academia and Industry

by Pablo Barceló

2012 2 ed.

Foundations of deductive databases and logic programming

by Krzysztof R. Apt, Jack Minker

1988 2 ed.

Logidata+

by Paolo Atzeni

1993 2 ed.

Logic in databases

by Carlo Zaniolo

1996 2 ed.

Deductive and object-oriented databases

by International Conference on Deductive and Object-Oriented Databases (5th 1997 Montreux, Switzerland)

1997 2 ed.

CIKM '94

by International Conference on Information and Knowledge Management (3rd 1994 Gaithersburg, Md.)

1994 2 ed.

Deductive and object-oriented databases

by International Conference on Deductive and Object-Oriented Databases (2nd 1991 Munich, Germany), C. Delobel

1991 2 ed.

Transactions and change in logic databases

by International Seminar on Logic Databases and the Meaning of Change (1996 Schloss Dagstuhl)

1998 2 ed.

Deductive and object-oriented databases

by International Conference on Deductive and Object-Oriented Databases (1st 1989 Kyoto, Japan), Won Kim

1990 2 ed.

Advances in database research

by Australian Database Conference (4th 1993 Brisbane, Qld.)

1993 1 ed.

Deductive Systems and the Decidability Problem for Hybrid Lo...

by Michal Zawidzki

2014 1 ed.

Deductive Databases and Their Applications

by Robert M. Colomb

2004 1 ed.

Petri net semantics of logic programs and deductive database...

by Michael Dahr

1994 1 ed.

Deductive databases

by Michael Dahr

1996 1 ed.