A first-order theory of communicating first-order formulas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationNinth international conference on knowledge representation and reasoning
Pages235-245
StatePublished - 2004

Cite this

Davis, E. (2004). A first-order theory of communicating first-order formulas. In Ninth international conference on knowledge representation and reasoning (pp. 235-245)

A first-order theory of communicating first-order formulas. / Davis, Ernest.

Ninth international conference on knowledge representation and reasoning. 2004. p. 235-245.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Davis, E 2004, A first-order theory of communicating first-order formulas. in Ninth international conference on knowledge representation and reasoning. pp. 235-245.
Davis E. A first-order theory of communicating first-order formulas. In Ninth international conference on knowledge representation and reasoning. 2004. p. 235-245
Davis, Ernest. / A first-order theory of communicating first-order formulas. Ninth international conference on knowledge representation and reasoning. 2004. pp. 235-245
@inproceedings{4a0e22aaf0bb47588a13264c0ad9eca6,
title = "A first-order theory of communicating first-order formulas",
author = "Ernest Davis",
year = "2004",
language = "English (US)",
pages = "235--245",
booktitle = "Ninth international conference on knowledge representation and reasoning",

}

TY - GEN

T1 - A first-order theory of communicating first-order formulas

AU - Davis, Ernest

PY - 2004

Y1 - 2004

M3 - Conference contribution

SP - 235

EP - 245

BT - Ninth international conference on knowledge representation and reasoning

ER -