STATUS
Guest (Restricted Access)
SELECTED TITLES
Selected titles: 0

Export:
Text | Dublin Core | RIS
Monograph Monograph [Search Result] | [save] |

Bibliographic description
Author Search all publications by the author Barker-Plummer, Dave; Barwise, Jon; Etchemendy, John;
Title Logical reasoning with diagrams & sentences using Hyperproof
Place : Publ. Stanford: CSLI Publications
Year 2017
Written in English
Extent xvii, 210 Seiten
Notes Includes bibliographical references and index
ISBN 1-57586-951-9; 978-1-57586-951-3
Series CSLI lecture notes; No. 216
Selections from contents
Classification
Domains / Computational linguistics / Individual aspects (computational linguistics) / Grammaticalness (computational linguistics)
Domains / Computational linguistics / Artificial intelligence / Evaluation criterion (artificial intelligence)
Domains / Computational linguistics / Linguistic data processing
Domains / Computational linguistics / Parsing / Grammar types (computational linguistics) / Theory of grammar (computational linguistics)
Domains / Linguistic logic / Predicate logic
Levels / Semantics / Tautology
Levels / Semantics / Theory (semant.) / Truth condition
Redirected from
Grammar checker; Grammatizität (Computerlinguistik) ; Grammaticalness (computational linguistics) ; Computer simulation (method.) ; Evaluation criterion (artificial intelligence) ; LDV; Linguistic data processing ; Theory of grammar (computational linguistics) ; First-order logic; Second-order logic; Monadische Logik; Monadic logic; Dependence logic; Predicate logic ; Tautology ; Truth condition