<--- Back to Details
First PageDocument Content
Mathematical logic / Binary relation / Grok Knowledge Base / Transitive closure / Function / Equality / FO / Cartesian product / Finitary relation / Closure
Date: 2002-05-16 17:36:40
Mathematical logic
Binary relation
Grok Knowledge Base
Transitive closure
Function
Equality
FO
Cartesian product
Finitary relation
Closure

Introduction to the Grok Language Ric Holt, 5 May 2002

Add to Reading List

Source URL: plg.uwaterloo.ca

Download Document from Source Website

File Size: 214,50 KB

Share Document on Facebook

Similar Documents

Automatic identification and data capture / Privacy / Radio-frequency identification / Ubiquitous computing / Wireless / Grok Knowledge Base / Numenta / Grok / Artificial intelligence / Humancomputer interaction / Computing

Contact: Laura Sankey

DocID: 1qBdA - View Document

Mathematical logic / Binary relation / Grok Knowledge Base / Transitive closure / Function / Equality / FO / Cartesian product / Finitary relation / Closure

Introduction to the Grok Language Ric Holt, 5 May 2002

DocID: 1ondH - View Document

Automatic identification and data capture / Grok Knowledge Base / Louisiana State University / Radio-frequency identification / Grok / Numenta / Groxis / Fiction / Artificial intelligence / Humancomputer interaction

Microsoft Word - FUnding Press Release.docx

DocID: 1nQq1 - View Document

Computing / Software / Computer architecture / Automatic identification and data capture / Wireless / Privacy / Radio-frequency identification / Ubiquitous computing / Numenta / Grok Knowledge Base / Mobile device / Grok

Contact: Laura SankeyFOR IMMEDIATE RELEASE

DocID: 1mZFm - View Document

Automatic identification and data capture / Privacy / Radio-frequency identification / Ubiquitous computing / Wireless / Grok Knowledge Base / Numenta / Grok / Groxis / Artificial intelligence / Humancomputer interaction / Fiction

Contact: Laura SankeyFOR IMMEDIATE RELEASE

DocID: 1mSTB - View Document