| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNICAMPANIAVAN00278108 |
|
|
Autore |
Rosenwasser, Efim N. |
|
|
Titolo |
Sampled-Data Control for Periodic Objects / Efim N. Rosenwasser, Torsten Jeinsch, Wolfgang Drewelow |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
xiv, 263 p. : ill. ; 24 cm |
|
|
|
|
|
|
Altri autori (Persone) |
|
Drewelow, Wolfgang |
Jeinsch, Torsten |
|
|
|
|
|
|
|
|
Soggetti |
|
93-XX - Systems theory; control [MSC 2020] |
93C57 - Sampled-data control/observation systems [MSC 2020] |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910143465303321 |
|
|
Titolo |
Logical Aspects of Computational Linguistics : Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers / / edited by Alain Lecomte, Francois Lamarche, Guy Perrier |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1999.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 255 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 1582 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Natural language processing (Computer science) |
Computer systems |
Computer science |
Artificial intelligence |
Machine theory |
Natural Language Processing (NLP) |
Computer System Implementation |
Computer Science Logic and Foundations of Programming |
Artificial Intelligence |
Formal Languages and Automata Theory |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited papers -- Type Grammar Revisited -- Optimal Parameters -- Selected papers -- Strong Equivalence of Generalized Ajdukiewicz and Lambek Grammars -- Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language Parsing -- Derivational and Representational Views of Minimalist Transformational Grammar -- The MSO Logic-Automaton Connection in Linguistics -- The Logic of Tune A Proof-Theoretic Analysis of Intonation -- A Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies -- Underspecification in Type-Logical Grammars -- On Fibring Feature Logics with Concatenation Logics -- An Operational Model for Parsing De.nite Clause Grammars with In.nite Terms -- Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Logical Aspects of Computational Linguistics, LACL '97, held in Nancy, France in September 1997. The 10 revised full papers presented were carefully selected during two rounds of reviewing. Also included are two comprehensive invited papers. Among the topics covered are type theory, various types of grammars, linear logic, parsing, type-directed natural language processing, proof-theoretic aspects, concatenation logics, and mathematical languages. |
|
|
|
|
|
|
|
| |