Automated Deduction for Categorial Grammar Logics

R.C.A. Moot

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	Undefined/Unknown
Title of host publication	Proceedings Accolade97
Editors	E. Kraak, R. Wasserman
Place of Publication	UvA, Amsterdam
Publisher	Dutch Research School in Logic, Dept. of Maths and Comp.Sc
Pages	50-65
Number of pages	16
Publication status	Published - 1998

Keywords

@inbook{f19d266945764e1ea3fd95f94a72aeda,

title = "Automated Deduction for Categorial Grammar Logics",

keywords = "Wiskunde en computerwetenschappen, Menswetenschappen, Linguistic theory, Applied linguistics",

author = "R.C.A. Moot",

year = "1998",

language = "Undefined/Unknown",

publisher = "Dutch Research School in Logic, Dept. of Maths and Comp.Sc",

pages = "50--65",

editor = "E. Kraak and R. Wasserman",

booktitle = "Proceedings Accolade97",

}

TY - CHAP

T1 - Automated Deduction for Categorial Grammar Logics

AU - Moot, R.C.A.

PY - 1998

Y1 - 1998

KW - Wiskunde en computerwetenschappen

KW - Menswetenschappen

KW - Linguistic theory

KW - Applied linguistics

M3 - Chapter

SP - 50

EP - 65

BT - Proceedings Accolade97

A2 - Kraak, E.

A2 - Wasserman, R.

PB - Dutch Research School in Logic, Dept. of Maths and Comp.Sc

CY - UvA, Amsterdam

ER -