Explore: Deductive Databases
Discover books, insights, and more — all in one place.
Learn more about Deductive Databases with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “deductive-databases”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Deductive databases
By Michael Dahr

“Deductive databases” Metadata:
- Title: Deductive databases
- Author: Michael Dahr
- Language: English
- Number of Pages: Median: 191
- Publisher: ➤ International Thomson Computer Press
- Publish Date: 1996
- Publish Location: Boston, Mass
“Deductive databases” Subjects and Themes:
- Subjects: Deductive databases
Edition Identifiers:
- The Open Library ID: OL1012314M
- Online Computer Library Center (OCLC) ID: 503249182
- Library of Congress Control Number (LCCN): 96052954
- All ISBNs: 9781850321385 - 1850321388
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Deductive databases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Deductive databases and logic programming
By Subrata Kumar Das

“Deductive databases and logic programming” Metadata:
- Title: ➤ Deductive databases and logic programming
- Author: Subrata Kumar Das
- Language: English
- Number of Pages: Median: 432
- Publisher: Addison-Wesley
- Publish Date: 1992
- Publish Location: ➤ Reading, Mass - Workingham, Eng
“Deductive databases and logic programming” Subjects and Themes:
- Subjects: Deductive databases - Logic programming
Edition Identifiers:
- The Open Library ID: OL1721494M
- Online Computer Library Center (OCLC) ID: 26260729
- Library of Congress Control Number (LCCN): 92024864
- All ISBNs: 9780201568974 - 0201568977
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Deductive databases and logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Foundations of deductive databases and logic programming
By Krzysztof R. Apt and Jack Minker

“Foundations of deductive databases and logic programming” Metadata:
- Title: ➤ Foundations of deductive databases and logic programming
- Authors: Krzysztof R. AptJack Minker
- Language: English
- Number of Pages: Median: 746
- Publisher: ➤ M. Kaufmann Publishers - Elsevier Science & Technology Books
- Publish Date: 1988 - 2014
- Publish Location: Los Altos, Calif
“Foundations of deductive databases and logic programming” Subjects and Themes:
- Subjects: Logic programming - Deductive databases
Edition Identifiers:
- The Open Library ID: OL2403435M - OL39521922M
- Online Computer Library Center (OCLC) ID: 17202931
- Library of Congress Control Number (LCCN): 87033870
- All ISBNs: 1483221121 - 9780934613408 - 0934613400 - 9781483221120
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Foundations of deductive databases and logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4The Deductive Spreadsheet Cognitive Technologies
By Iliano Cervesato

“The Deductive Spreadsheet Cognitive Technologies” Metadata:
- Title: ➤ The Deductive Spreadsheet Cognitive Technologies
- Author: Iliano Cervesato
- Number of Pages: Median: 406
- Publisher: ➤ Springer-Verlag Berlin and Heidelberg GmbH &
- Publish Date: 2013
“The Deductive Spreadsheet Cognitive Technologies” Subjects and Themes:
- Subjects: ➤ Deductive databases - Electronic spreadsheets - Human-computer interaction - Logic programming - Artificial Intelligence (incl. Robotics) - Computer science - Information systems - Artificial intelligence - Management information systems - Information Systems and Communication Service - Programming Techniques - Business Information Systems - Computer Appl. in Administrative Data Processing
Edition Identifiers:
- The Open Library ID: OL26189137M
- Online Computer Library Center (OCLC) ID: 830367476
- Library of Congress Control Number (LCCN): 2013943471
- All ISBNs: 9783642377464 - 3642377467
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find The Deductive Spreadsheet Cognitive Technologies at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Handbook of Automated Reasoning
By Andrei Voronkov

“Handbook of Automated Reasoning” Metadata:
- Title: ➤ Handbook of Automated Reasoning
- Author: Andrei Voronkov
- Language: English
- Number of Pages: Median: 1658
- Publisher: ➤ North Holland - Elsevier Science & Technology Books
- Publish Date: 2001
“Handbook of Automated Reasoning” Subjects and Themes:
- Subjects: ➤ Artificial intelligence - Knowledge representation (information theory) - Deductive databases - Logic programming - Functional programming (computer science)
Edition Identifiers:
- The Open Library ID: OL33417150M - OL7530516M - OL44172661M
- All ISBNs: ➤ 0444508120 - 0080929699 - 9780080929699 - 9780444508126 - 0080532799 - 9780080532790
First Setence:
"Type theory is a language for formalizing mathematics which was invented by Bertrand Russell [Russell 1908]."
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Handbook of Automated Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6The Deductive Spreadsheet
By Iliano Cervesato

“The Deductive Spreadsheet” Metadata:
- Title: The Deductive Spreadsheet
- Author: Iliano Cervesato
- Language: English
- Number of Pages: Median: 427
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2013 - 2016
“The Deductive Spreadsheet” Subjects and Themes:
- Subjects: Deductive databases - Electronic spreadsheets - Human-computer interaction - Logic programming
Edition Identifiers:
- The Open Library ID: OL34501136M - OL30540079M - OL28259155M
- All ISBNs: ➤ 3642377475 - 3642377483 - 9783642377471 - 9783642377488 - 3662512459 - 9783662512456
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The Deductive Spreadsheet at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Deductive and object-oriented databases
By International Conference on Deductive and Object-Oriented Databases (3rd 1993 Phoenix, Arizona), Stefano Ceri and Katsumi Tanaka

“Deductive and object-oriented databases” Metadata:
- Title: ➤ Deductive and object-oriented databases
- Authors: ➤ International Conference on Deductive and Object-Oriented Databases (3rd 1993 Phoenix, Arizona)Stefano CeriKatsumi Tanaka
- Language: English
- Number of Pages: Median: 488
- Publisher: Springer-Verlag - Springer
- Publish Date: 1993
- Publish Location: New York - Berlin
“Deductive and object-oriented databases” Subjects and Themes:
- Subjects: Congresses - Deductive databases - Object-oriented databases
Edition Identifiers:
- The Open Library ID: OL7447448M - OL9061143M - OL1428330M
- Online Computer Library Center (OCLC) ID: 29361380
- Library of Congress Control Number (LCCN): 93039552
- All ISBNs: 9783540575306 - 9780387575308 - 0387575308 - 3540575308
First Setence:
"Object-oriented databases provide type definition facilities that cope well with complex structures that arise in advanced applications, such as scientific computing."
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Deductive and object-oriented databases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Deductive and object-oriented databases
By International Conference on Deductive and Object-Oriented Databases (4th 1995 Singapore)

“Deductive and object-oriented databases” Metadata:
- Title: ➤ Deductive and object-oriented databases
- Author: ➤ International Conference on Deductive and Object-Oriented Databases (4th 1995 Singapore)
- Language: English
- Number of Pages: Median: 558
- Publisher: Springer
- Publish Date: 1995
- Publish Location: New York - London - Berlin
“Deductive and object-oriented databases” Subjects and Themes:
- Subjects: Congresses - Deductive databases - Object-oriented databases
Edition Identifiers:
- The Open Library ID: OL9061705M - OL808903M - OL22201382M
- Online Computer Library Center (OCLC) ID: 33358237
- Library of Congress Control Number (LCCN): 95045666
- All ISBNs: 3540606084 - 9783540606086
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Deductive and object-oriented databases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Cikm 93
By Bharat K. Bhargava and International Conference on Information and Knowledge Management (2nd 1993 Washington, D.C.)

“Cikm 93” Metadata:
- Title: Cikm 93
- Authors: ➤ Bharat K. BhargavaInternational Conference on Information and Knowledge Management (2nd 1993 Washington, D.C.)
- Language: English
- Number of Pages: Median: 740
- Publisher: ➤ Association for Computing Machinery (ACM) - ACM Press
- Publish Date: 1993
- Publish Location: New York
“Cikm 93” Subjects and Themes:
- Subjects: ➤ Congresses - Knowledge representation (Information theory) - Database management - Expert systems (Computer science) - Text processing (Computer science) - Distributed databases - Information storage and retrieval systems - Deductive databases - Object-oriented databases
Edition Identifiers:
- The Open Library ID: OL18806994M - OL11331998M
- Online Computer Library Center (OCLC) ID: 29514323
- Library of Congress Control Number (LCCN): 95126894
- All ISBNs: 0897916263 - 9780897916264
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Cikm 93 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Deductive and object-oriented databases
By International Conference on Deductive and Object-Oriented Databases (1st 1989 Kyoto, Japan), Won Kim and Jean-Marie Nicolas

“Deductive and object-oriented databases” Metadata:
- Title: ➤ Deductive and object-oriented databases
- Authors: ➤ International Conference on Deductive and Object-Oriented Databases (1st 1989 Kyoto, Japan)Won KimJean-Marie Nicolas
- Language: English
- Number of Pages: Median: 607
- Publisher: ➤ North-Holland - North Holland - Elsevier Science Pub. Co., distributors for the United States and Canada
- Publish Date: 1990
- Publish Location: New York - Amsterdam
“Deductive and object-oriented databases” Subjects and Themes:
- Subjects: Congresses - Deductive databases - Object-oriented databases - Databases
Edition Identifiers:
- The Open Library ID: OL7533470M - OL1887884M
- Online Computer Library Center (OCLC) ID: 22492908
- Library of Congress Control Number (LCCN): 90049181
- All ISBNs: 0444884335 - 9780444884336
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Deductive and object-oriented databases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Inkonsistenzen in deduktiven Datenbanken
By Guido Moerkotte

“Inkonsistenzen in deduktiven Datenbanken” Metadata:
- Title: ➤ Inkonsistenzen in deduktiven Datenbanken
- Author: Guido Moerkotte
- Language: ger
- Number of Pages: Median: 145
- Publisher: Springer - Springer-Verlag
- Publish Date: 1990
- Publish Location: Berlin - New York
“Inkonsistenzen in deduktiven Datenbanken” Subjects and Themes:
- Subjects: Deductive databases
Edition Identifiers:
- The Open Library ID: OL28124641M - OL1585612M
- Library of Congress Control Number (LCCN): 91112030
- All ISBNs: 9780387530772 - 0387530770 - 9783540530770 - 3540530770
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Inkonsistenzen in deduktiven Datenbanken at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12CIKM '94
By International Conference on Information and Knowledge Management (3rd 1994 Gaithersburg, Md.)
“CIKM '94” Metadata:
- Title: CIKM '94
- Author: ➤ International Conference on Information and Knowledge Management (3rd 1994 Gaithersburg, Md.)
- Language: English
- Number of Pages: Median: 463
- Publisher: ACM Press
- Publish Date: 1994
- Publish Location: New York
“CIKM '94” Subjects and Themes:
- Subjects: ➤ Congresses - Knowledge representation (Information theory) - Database management - Expert systems (Computer science) - Text processing (Computer science) - Distributed databases - Information storage and retrieval systems - Deductive databases - Object-oriented databases
Edition Identifiers:
- The Open Library ID: OL18807058M - OL11332022M
- Online Computer Library Center (OCLC) ID: 34532724
- All ISBNs: 0897916743 - 9780897916745
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find CIKM '94 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Logic in databases
By Carlo Zaniolo

“Logic in databases” Metadata:
- Title: Logic in databases
- Author: Carlo Zaniolo
- Language: English
- Number of Pages: Median: 496
- Publisher: Springer
- Publish Date: 1996
- Publish Location: New York - Berlin
“Logic in databases” Subjects and Themes:
- Subjects: Logic programming - Congresses - Deductive databases - Database management
Edition Identifiers:
- The Open Library ID: OL9061999M - OL1002503M
- Online Computer Library Center (OCLC) ID: 35559122
- Library of Congress Control Number (LCCN): 96041820
- All ISBNs: 3540618147 - 9783540618140
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic in databases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Logidata+
By Paolo Atzeni

“Logidata+” Metadata:
- Title: Logidata+
- Author: Paolo Atzeni
- Language: English
- Number of Pages: Median: 277
- Publisher: Springer
- Publish Date: 1993
“Logidata+” Subjects and Themes:
- Subjects: Deductive databases
Edition Identifiers:
- The Open Library ID: OL9061051M - OL7447340M
- All ISBNs: 9783540569749 - 354056974X - 038756974X - 9780387569741
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logidata+ at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Datalog in Academia and Industry
By Pablo Barceló

“Datalog in Academia and Industry” Metadata:
- Title: ➤ Datalog in Academia and Industry
- Author: Pablo Barceló
- Language: English
- Publisher: ➤ Imprint: Springer - Springer Berlin / Heidelberg - Springer Berlin Heidelberg
- Publish Date: 2012
- Publish Location: Berlin, Heidelberg
“Datalog in Academia and Industry” Subjects and Themes:
- Subjects: ➤ Mathematical Logic and Formal Languages - Software engineering - Data Mining and Knowledge Discovery - Computer networks - Information Systems Applications (incl. Internet) - Computer science - Data mining - Artificial intelligence - Artificial Intelligence (incl. Robotics) - Datalog in academia and industry - Congresses - Deductive databases - Data loggers - Computer Communication Networks
Edition Identifiers:
- The Open Library ID: OL36200380M - OL27029380M
- Library of Congress Control Number (LCCN): 2012944718
- All ISBNs: 9783642329258 - 9783642329241 - 3642329241 - 364232925X
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Datalog in Academia and Industry at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Deductive and object-oriented databases
By International Conference on Deductive and Object-Oriented Databases (5th 1997 Montreux, Switzerland)

“Deductive and object-oriented databases” Metadata:
- Title: ➤ Deductive and object-oriented databases
- Author: ➤ International Conference on Deductive and Object-Oriented Databases (5th 1997 Montreux, Switzerland)
- Language: English
- Number of Pages: Median: 430
- Publisher: Springer
- Publish Date: 1997
- Publish Location: New York - Berlin
“Deductive and object-oriented databases” Subjects and Themes:
- Subjects: Congresses - Object-oriented databases - Deductive databases
Edition Identifiers:
- The Open Library ID: OL9062428M - OL691973M
- Online Computer Library Center (OCLC) ID: 38112943
- Library of Congress Control Number (LCCN): 97039142
- All ISBNs: 9783540637929 - 3540637923
First Setence:
"The WEB Lab is a virtual laboratory where users of the IDEA Methodology can experience the development of database applications with objects and rules; it makes available to remote clients the core tools of the IDEA design environment, which enables the development of an application from the analysis phase to the delivery of the final code for Oracle, one of the implementation platforms supported by the methodology."
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Deductive and object-oriented databases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Deductive and object-oriented databases
By International Conference on Deductive and Object-Oriented Databases (2nd 1991 Munich, Germany), C. Delobel and M. Kifer

“Deductive and object-oriented databases” Metadata:
- Title: ➤ Deductive and object-oriented databases
- Authors: ➤ International Conference on Deductive and Object-Oriented Databases (2nd 1991 Munich, Germany)C. DelobelM. Kifer
- Language: English
- Number of Pages: Median: 581
- Publisher: Springer-Verlag - Springer
- Publish Date: 1991
- Publish Location: New York - Berlin
“Deductive and object-oriented databases” Subjects and Themes:
- Subjects: Congresses - Deductive databases - Object-oriented databases
Edition Identifiers:
- The Open Library ID: OL7446966M - OL1558353M
- Online Computer Library Center (OCLC) ID: 24845998
- Library of Congress Control Number (LCCN): 91039273
- All ISBNs: 9780387550152 - 9783540550150 - 0387550151 - 3540550151
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Deductive and object-oriented databases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Transactions and change in logic databases
By International Seminar on Logic Databases and the Meaning of Change (1996 Schloss Dagstuhl)

“Transactions and change in logic databases” Metadata:
- Title: ➤ Transactions and change in logic databases
- Author: ➤ International Seminar on Logic Databases and the Meaning of Change (1996 Schloss Dagstuhl)
- Language: English
- Number of Pages: Median: 396
- Publisher: Springer
- Publish Date: 1998
- Publish Location: New York - Berlin
“Transactions and change in logic databases” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL9062834M - OL371288M
- Online Computer Library Center (OCLC) ID: 40229147
- Library of Congress Control Number (LCCN): 98032082
- All ISBNs: 3540653058 - 9783540653059
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Transactions and change in logic databases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Petri net semantics of logic programs and deductive databases
By Michael Dahr
“Petri net semantics of logic programs and deductive databases” Metadata:
- Title: ➤ Petri net semantics of logic programs and deductive databases
- Author: Michael Dahr
- Language: English
- Number of Pages: Median: 140
- Publisher: Kovac
- Publish Date: 1994
- Publish Location: Hamburg
“Petri net semantics of logic programs and deductive databases” Subjects and Themes:
- Subjects: Logic programming - Petri nets - Deductive databases
Edition Identifiers:
- The Open Library ID: OL866408M
- Online Computer Library Center (OCLC) ID: 30965183
- Library of Congress Control Number (LCCN): 95150665
- All ISBNs: 3860641506 - 9783860641507
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Petri net semantics of logic programs and deductive databases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Building a deductive database
By Miguel Nussbaum

“Building a deductive database” Metadata:
- Title: Building a deductive database
- Author: Miguel Nussbaum
- Language: English
- Number of Pages: Median: 259
- Publisher: Ablex Pub. Corp.
- Publish Date: 1992
- Publish Location: Norwood, N.J
“Building a deductive database” Subjects and Themes:
- Subjects: Database design - Deductive databases
Edition Identifiers:
- The Open Library ID: OL1546099M
- Online Computer Library Center (OCLC) ID: 24068043
- Library of Congress Control Number (LCCN): 91025339
- All ISBNs: 9780893917685 - 0893917680
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Building a deductive database at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Datenmodellierung mit deduktiven Techniken
By Gustaf Neumann
“Datenmodellierung mit deduktiven Techniken” Metadata:
- Title: ➤ Datenmodellierung mit deduktiven Techniken
- Author: Gustaf Neumann
- Language: ger
- Number of Pages: Median: 223
- Publisher: Physica-Verlag
- Publish Date: 1994
- Publish Location: Heidelberg
“Datenmodellierung mit deduktiven Techniken” Subjects and Themes:
- Subjects: Database design - Deductive databases
Edition Identifiers:
- The Open Library ID: OL1222162M
- Library of Congress Control Number (LCCN): 94221571
- All ISBNs: 9783790807172 - 3790807176
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Datenmodellierung mit deduktiven Techniken at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Semigroups and transitive closure in deductive databases
By Thane E. Plambeck
“Semigroups and transitive closure in deductive databases” Metadata:
- Title: ➤ Semigroups and transitive closure in deductive databases
- Author: Thane E. Plambeck
- Language: English
- Number of Pages: Median: 123
- Publisher: ➤ Dept. of Computer Science, Stanford University
- Publish Date: 1990
- Publish Location: Stanford, Calif
“Semigroups and transitive closure in deductive databases” Subjects and Themes:
- Subjects: Deductive databases
Edition Identifiers:
- The Open Library ID: OL1636820M
- Library of Congress Control Number (LCCN): 91188482
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Semigroups and transitive closure in deductive databases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Advances in database research
By Australian Database Conference (4th 1993 Brisbane, Qld.)
“Advances in database research” Metadata:
- Title: Advances in database research
- Author: ➤ Australian Database Conference (4th 1993 Brisbane, Qld.)
- Language: English
- Number of Pages: Median: 377
- Publisher: World Scientific
- Publish Date: 1993
- Publish Location: Singapore - River Edge, NJ
“Advances in database research” Subjects and Themes:
- Subjects: ➤ Congresses - Database design - Distributed databases - Deductive databases - Database management - Databases
Edition Identifiers:
- The Open Library ID: OL556437M
- Online Computer Library Center (OCLC) ID: 28188054
- Library of Congress Control Number (LCCN): 96139041
- All ISBNs: 981021331X - 9789810213312
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Advances in database research at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Constraint-based mining and inductive databases
By European Workshop on Inductive Databases and Constraint Based Mining (2004 Hinterzarten, Germany)
“Constraint-based mining and inductive databases” Metadata:
- Title: ➤ Constraint-based mining and inductive databases
- Author: ➤ European Workshop on Inductive Databases and Constraint Based Mining (2004 Hinterzarten, Germany)
- Language: English
- Number of Pages: Median: 399
- Publisher: Springer
- Publish Date: 2005
- Publish Location: New York - Berlin
“Constraint-based mining and inductive databases” Subjects and Themes:
- Subjects: ➤ Congresses - Data mining - Database searching - Induction (Logic) - Database management - Deductive databases
Edition Identifiers:
- The Open Library ID: OL18255996M
- Online Computer Library Center (OCLC) ID: 63514356
- Library of Congress Control Number (LCCN): 2005938512
- All ISBNs: 9783540313311 - 3540313311
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Constraint-based mining and inductive databases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Deductive databases
By Michael Dahr
“Deductive databases” Metadata:
- Title: Deductive databases
- Author: Michael Dahr
- Language: English
- Number of Pages: Median: 191
- Publisher: ➤ International Thomson Computer Press
- Publish Date: 1997
- Publish Location: London - Boston, Mass
“Deductive databases” Subjects and Themes:
- Subjects: Deductive databases
Edition Identifiers:
- The Open Library ID: OL22321152M
- All ISBNs: 1850321388 - 9781850321385
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Deductive databases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Handbook of automated reasoning
By J. A. Robinson and A. Voronkov

“Handbook of automated reasoning” Metadata:
- Title: ➤ Handbook of automated reasoning
- Authors: J. A. RobinsonA. Voronkov
- Language: English
- Number of Pages: Median: 2128
- Publisher: ➤ North Holland - MIT Press - Elsevier
- Publish Date: 2001
“Handbook of automated reasoning” Subjects and Themes:
- Subjects: ➤ Qualitative reasoning - Automatic theorem proving - Artificial intelligence - Knowledge representation (information theory) - Deductive databases - Logic programming - Functional programming (computer science) - Handbooks, manuals
Edition Identifiers:
- The Open Library ID: OL10260251M
- Online Computer Library Center (OCLC) ID: 46810804 - 824488329
- Library of Congress Control Number (LCCN): 2001090839 - 2010090840
- All ISBNs: 0444508139 - 9780444508133
First Setence:
"With the ready availability of serious computer power, deductive reasoning, especially as embodied in mathematics, presented an ideal target for those interested in experimenting with computer programs that purported to implement the "higher" human faculties."
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Handbook of automated reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Deductive Systems and the Decidability Problem for Hybrid Logics
By Michal Zawidzki
“Deductive Systems and the Decidability Problem for Hybrid Logics” Metadata:
- Title: ➤ Deductive Systems and the Decidability Problem for Hybrid Logics
- Author: Michal Zawidzki
- Language: English
- Number of Pages: Median: 232
- Publisher: Columbia University Press
- Publish Date: 2014
“Deductive Systems and the Decidability Problem for Hybrid Logics” Subjects and Themes:
- Subjects: ➤ Logic, symbolic and mathematical - Deductive databases
Edition Identifiers:
- The Open Library ID: OL28544602M
- All ISBNs: 8323336954 - 9788323336952
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Deductive Systems and the Decidability Problem for Hybrid Logics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Deductive Databases and Their Applications
By Robert M. Colomb
“Deductive Databases and Their Applications” Metadata:
- Title: ➤ Deductive Databases and Their Applications
- Author: Robert M. Colomb
- Language: English
- Publisher: Taylor & Francis Group
- Publish Date: 2004
“Deductive Databases and Their Applications” Subjects and Themes:
- Subjects: Deductive databases
Edition Identifiers:
- The Open Library ID: OL34579912M
- All ISBNs: 0203212630 - 9780203212639
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Deductive Databases and Their Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Constraint-Based Mining and Inductive Databases
By Jean-Francois Boulicaut, Luc De Raedt and Heikki Mannila

“Constraint-Based Mining and Inductive Databases” Metadata:
- Title: ➤ Constraint-Based Mining and Inductive Databases
- Authors: Jean-Francois BoulicautLuc De RaedtHeikki Mannila
- Language: English
- Publisher: Springer
- Publish Date: 2006
- Publish Location: Heidelberg - Berlin
“Constraint-Based Mining and Inductive Databases” Subjects and Themes:
- Subjects: ➤ Optical pattern recognition - Information storage and retrieval systems - Computer science - Artificial intelligence - Database management - Deductive databases - Database searching - Data mining
Edition Identifiers:
- The Open Library ID: OL27026827M
- Online Computer Library Center (OCLC) ID: 780968303
- All ISBNs: 3540313516 - 9783540313519
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Constraint-Based Mining and Inductive Databases at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30LOGIDATA+
By Paolo Atzeni

“LOGIDATA+” Metadata:
- Title: LOGIDATA+
- Author: Paolo Atzeni
- Language: English
- Number of Pages: Median: 273
- Publisher: Springer-Verlag
- Publish Date: 1993
- Publish Location: New York - Berlin
“LOGIDATA+” Subjects and Themes:
- Subjects: Deductive databases - Databases
Edition Identifiers:
- The Open Library ID: OL1403745M
- Online Computer Library Center (OCLC) ID: 28547950
- Library of Congress Control Number (LCCN): 93011824
- All ISBNs: 9783540569749 - 354056974X - 038756974X - 9780387569741
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find LOGIDATA+ at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Deductive databases and their applications
By Robert M. Colomb

“Deductive databases and their applications” Metadata:
- Title: ➤ Deductive databases and their applications
- Author: Robert M. Colomb
- Language: English
- Number of Pages: Median: 263
- Publisher: Taylor & Francis
- Publish Date: 1998
- Publish Location: Bristol, PA - London
“Deductive databases and their applications” Subjects and Themes:
- Subjects: Deductive databases - Bases de données déductives - COMPUTERS - Expert Systems
Edition Identifiers:
- The Open Library ID: OL440130M
- Online Computer Library Center (OCLC) ID: 56582710
- Library of Congress Control Number (LCCN): 98151074
- All ISBNs: 0748407979 - 0748407960 - 9780748407965 - 9780748407972
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Deductive databases and their applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Meta-level control for deductive database systems
By Schmidt, Helmut

“Meta-level control for deductive database systems” Metadata:
- Title: ➤ Meta-level control for deductive database systems
- Author: Schmidt, Helmut
- Language: English
- Number of Pages: Median: 155
- Publisher: Springer-Verlag
- Publish Date: 1991
- Publish Location: Berlin - New York
“Meta-level control for deductive database systems” Subjects and Themes:
- Subjects: Database management - Deductive databases
Edition Identifiers:
- The Open Library ID: OL1530569M
- Online Computer Library Center (OCLC) ID: 23144815
- Library of Congress Control Number (LCCN): 91007972
- All ISBNs: 9783540537540 - 0387537546 - 3540537546 - 9780387537542
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Meta-level control for deductive database systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33A fixpoint theory of nonmonotonic functions and its applications to logic programs, deductive databases and production rule systems
By Yuli Zhou
“A fixpoint theory of nonmonotonic functions and its applications to logic programs, deductive databases and production rule systems” Metadata:
- Title: ➤ A fixpoint theory of nonmonotonic functions and its applications to logic programs, deductive databases and production rule systems
- Author: Yuli Zhou
- Language: English
- Number of Pages: Median: 79
- Publish Date: 1991
“A fixpoint theory of nonmonotonic functions and its applications to logic programs, deductive databases and production rule systems” Subjects and Themes:
- Subjects: Functions - Logic programming - Deductive databases
Edition Identifiers:
- The Open Library ID: OL58341665M
- Online Computer Library Center (OCLC) ID: 27260310
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find A fixpoint theory of nonmonotonic functions and its applications to logic programs, deductive databases and production rule systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.