Existantial graphs and dynamics predicate logic

Harmen van den Berg

Existantial graphs and dynamics predicate logic

Harmen van den Berg

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Conceptual Structures: Applications, Implemantations and Theory, Proceedings of the Third International Conference on Conceptual Structures (ICCS'95), Springer-Verlag, Lecture Notes in Artificial Intelligence 954
Place of Publication	Berlin
Pages	338-352
Number of pages	15
Publication status	Published - 6 Feb 1995

Keywords

METIS-141500

Cite this

@inproceedings{0ef70ff8df1b412889a448c671e06777,

title = "Existantial graphs and dynamics predicate logic",

keywords = "METIS-141500",

author = "{van den Berg}, Harmen",

year = "1995",

month = feb,

day = "6",

language = "Undefined",

pages = "338--352",

booktitle = "Conceptual Structures: Applications, Implemantations and Theory, Proceedings of the Third International Conference on Conceptual Structures (ICCS'95), Springer-Verlag, Lecture Notes in Artificial Intelligence 954",

}

Existantial graphs and dynamics predicate logic. / van den Berg, Harmen.
Conceptual Structures: Applications, Implemantations and Theory, Proceedings of the Third International Conference on Conceptual Structures (ICCS'95), Springer-Verlag, Lecture Notes in Artificial Intelligence 954. Berlin, 1995. p. 338-352.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Existantial graphs and dynamics predicate logic

AU - van den Berg, Harmen

PY - 1995/2/6

Y1 - 1995/2/6

KW - METIS-141500

M3 - Conference contribution

SP - 338

EP - 352

BT - Conceptual Structures: Applications, Implemantations and Theory, Proceedings of the Third International Conference on Conceptual Structures (ICCS'95), Springer-Verlag, Lecture Notes in Artificial Intelligence 954

CY - Berlin

ER -