Jack Minker – författare
Visar alla böcker från författaren Jack Minker. Handla med fri frakt och snabb leverans.
10 produkter
Logic-Based Artificial Intelligence
Av Jack Minker
Inbunden, 2000
2590 kr
Lägg i varukorg
The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of …
Logic-Based Artificial Intelligence
Av Jack Minker
Häftad, 2012
2515 kr
Lägg i varukorg
The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of …
Logic-Based Artificial Intelligence
Av Jack Minker
E-bok, 2012
3292 kr
Lägg i varukorg
The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960''s he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of …
Advances in Data Base Theory
Volume 1
Av Jean Marie Nicolas, Jack Minker m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
Advances in Data Base Theory
Volume 1
Av Hervé Gallaire, Jack Minker m. fl.
Häftad, 2012
569 kr
Lägg i varukorg
During the 1970's a theory of data ~ases began to evolve pro- viding a foundation for some existing tools and techniques. The significance of this theory is beginning to have an impact particu- larly with respect to the design and implementation of the relational model of data bases. To further the …
Advances in Data Base Theory
Volume 2
Av Jean Marie Nicolas, Jack Minker m. fl.
E-bok, 2012
739 kr
Lägg i varukorg
This is the third book devoted to theoretical issues in data bases that we have edited. Each book has been the outgrowth of papers held at a workshop in Toulouse, France. The first workshop, held in 1977 focused primarily on the important topic of logic and databases. The book, Logic and Databases …
Advances in Data Base Theory
Volume 2
Av Hervé Gallaire, Jack Minker m. fl.
Häftad, 2012
569 kr
Lägg i varukorg
This is the third book devoted to theoretical issues in data bases that we have edited. Each book has been the outgrowth of papers held at a workshop in Toulouse, France. The first workshop, held in 1977 focused primarily on the important topic of logic and databases. The book, Logic and Databases …
Logic and Data Bases
Av Hervé Gallaire, Jack Minker
Häftad, 2013
569 kr
Lägg i varukorg
Mathematical logic provides a conceptual framework for many different areas of science. It has been recognized recently that logic is also significant for data bases. To focus on this impor- tant topic, a group of researchers met at a workshop in Toulouse, France on November 16-18, 1977. The …
Foundations of Deductive Databases and Logic Programming
Av Jack Minker
E-bok, 2014
1045 kr
Lägg i varukorg
Foundations of Deductive Databases and Logic Programming focuses on the foundational issues concerning deductive databases and logic programming. The selection first elaborates on negation in logic programming and towards a theory of declarative knowledge. Discussions focus on model theory of …
