[IEEE 2007 Fifth Workshop on Intelligent Solutions in Embedded Systems - Leganes, Spain (2007.06.21-2007.06.22)] 2007 Fifth Workshop on Intelligent Solutions in Embedded Systems - Proceedings of the Fifth International Workshop on Intelligent Solutions in Embedded Systems
- 文件大小12.94KB
- 发表时间2007
- DOI10.1109/WISES.2007.4408481
Special Issue on Proof Theory and Natural Language || Front MatterJournal of Logic, Language, and Information · 1996
Special Issue on Proof Theory and Natural Language || Back MatterJournal of Logic, Language, and Information · 1996
Special Issue on Proof Theory and Natural Language || Volume InformationJournal of Logic, Language, and Information · 1996
Special Issue on Proof Theory and Natural Language || Multimodal Linguistic InferenceMichael Moortgat · Journal of Logic, Language, and Information · 1996
Special Issue on Proof Theory and Natural Language || Tree Models and (Labeled) Categorial GrammarYde Venema · Journal of Logic, Language, and Information · 1996
Special Issue on Proof Theory and Natural Language || A Calculus for First Order Discourse Representation StructuresHans Kamp and Uwe Reyle · Journal of Logic, Language, and Information · 1996
Special Issue on Proof Theory and Natural Language || Fibred Semantics for Feature-Based Grammar LogicJochen Dörre, Esther König and Dov Gabbay · Journal of Logic, Language, and Information · 1996
Completeness Results for Lambek Syntactic CalculusWojciech Buszkowski · 1986
Embedding Boolean Structures into Atomic Boolean StructuresWojciech Buszkowski · 1986
Sequent systems for compact bilinear logicWojciech Buszkowski · 2003
Algebraic structures in categorial grammarWojciech Buszkowski · 1998
Extending Lambek grammars to basic categorial grammarsWojciech Buszkowski · 1996
Presuppositional completenessWojciech Buszkowski · Studia Logica · 1989
ReviewsReinhold Kołodziej; Wojciech Buszkowski; Jan Waszkiewicz · Studia Logica · 1976
Editorial IntroductionWojciech Buszkowski; Anne Preller · 2007
Support and Sets of SituationsWiśniewski, Andrzej · Journal of Logic, Language and Information · 2014
Inferential Conditionals and EvidentialityKrzyżanowska, K.; Wenmackers, S.; Douven, I. · Journal of Logic, Language and Information · 2013
The Grammar of Code SwitchingKracht, Marcus; Klein, Udo · Journal of Logic, Language and Information · 2014
Formal Models of AwarenessÅgotnes, Thomas; Alechina, Natasha · Journal of Logic, Language and Information · 2014
Resolving the Infinitude ControversyKornai, András · Journal of Logic, Language and Information · 2014
Natural Language Inference in CoqChatzikyriakidis, Stergios; Luo, Zhaohui · Journal of Logic, Language and Information · 2014
Action Models for ConditionalsLent, Jeremy; Thomason, Richmond H. · Journal of Logic, Language and Information · 2015
NotOnlyBarbaraDekker, Paul J. E. · Journal of Logic, Language and Information · 2015