Grail: An Automated Proof Assistant for Categorial Grammar Logics

R.C.A. Moot

Grail: An Automated Proof Assistant 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 of the Workshop on User Interfaces for Theorem Provers
Editors	R. Backhouse
Place of Publication	Eindhoven University of Technology
Publisher	Computing Science Reports, Dept.of Maths and Comp.Science,
Pages	120-129
Number of pages	10
Publication status	Published - 1998

Publication series

Name	98
Number	08

Bibliographical note

http://www.win.tue.nl/cs/ipa/uitp/proceedings.html

Keywords

Wiskunde en computerwetenschappen
Menswetenschappen
Linguistic theory
Applied linguistics

Cite this

@inbook{4109d7594d284d018a7d61eb47b23037,

title = "Grail: An Automated Proof Assistant for Categorial Grammar Logics",

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

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

note = "http://www.win.tue.nl/cs/ipa/uitp/proceedings.html",

year = "1998",

language = "Undefined/Unknown",

series = "98",

publisher = "Computing Science Reports, Dept.of Maths and Comp.Science,",

number = "08",

pages = "120--129",

editor = "R. Backhouse",

booktitle = "Proceedings of the Workshop on User Interfaces for Theorem Provers",

}

Grail: An Automated Proof Assistant for Categorial Grammar Logics. / Moot, R.C.A.
Proceedings of the Workshop on User Interfaces for Theorem Provers. ed. / R. Backhouse. Eindhoven University of Technology: Computing Science Reports, Dept.of Maths and Comp.Science, 1998. p. 120-129 (98; No. 08).

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

TY - CHAP

T1 - Grail: An Automated Proof Assistant for Categorial Grammar Logics

AU - Moot, R.C.A.

N1 - http://www.win.tue.nl/cs/ipa/uitp/proceedings.html

PY - 1998

Y1 - 1998

KW - Wiskunde en computerwetenschappen

KW - Menswetenschappen

KW - Linguistic theory

KW - Applied linguistics

M3 - Chapter

T3 - 98

SP - 120

EP - 129

BT - Proceedings of the Workshop on User Interfaces for Theorem Provers

A2 - Backhouse, R.

PB - Computing Science Reports, Dept.of Maths and Comp.Science,

CY - Eindhoven University of Technology

ER -