Formal Languages and Applications

Formal Languages and Applications

"Formal Languages and Applications" provides an overall course-aid and self-study material for graduates students and researchers in formal language theory and its applications. The main results and techniques are presented in an easily accessible way accompanied with many references and...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Martin-Vide, Carlos (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Mitrana, Victor (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Păun, Gheorghe (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Έκδοση:	1st ed. 2004.
Σειρά:	Studies in Fuzziness and Soft Computing, 148
Θέματα:	Applied mathematics. Engineering mathematics. Programming languages (Electronic computers). Artificial intelligence. Natural language processing (Computer science). Mathematical logic. Mathematical and Computational Engineering. Applications of Mathematics. Programming Languages, Compilers, Interpreters. Artificial Intelligence. Natural Language Processing (NLP). Mathematical Logic and Foundations.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Computational Linguistics and Intelligent Text Processing Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 Proceedings /
Έκδοση: (2002)

Applying Soft Computing in Defining Spatial Relations
Έκδοση: (2002)

Grammatical Inference: Algorithms and Applications 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings /
Έκδοση: (2002)

Logical Aspects of Computational Linguistics Third International Conference, LACL'98 Grenoble, France, December 14-16, 1998 Selected Papers /
Έκδοση: (2001)

Incremental Speech Translation
ανά: Amtrup, Jan W., κ.ά.
Έκδοση: (1999)

Logical Aspects of Computational Linguistics 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings /
Έκδοση: (2001)

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings /
Έκδοση: (1999)

Machine Translation: From Real Users to Research 6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28-October 2, 2004, Proceedings /
Έκδοση: (2004)

Machine Translation: From Research to Real Users 5th Conference of the Association for Machine Translation in the Americas, AMTA 2002 Tiburon, CA, USA, October 6-12, 2002. Proceedings /
Έκδοση: (2002)

Algorithmic Learning Theory 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings. /
Έκδοση: (2001)

Algorithmic Learning Theory 11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings /
Έκδοση: (2000)

Natural Language Processing and Information Systems 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000; Revised Papers /
Έκδοση: (2001)

Logical Aspects of Computational Linguistics First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers /
Έκδοση: (1997)

Logical Aspects of Computational Linguistics Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers /
Έκδοση: (1999)

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings /
Έκδοση: (2019)

Advances in Natural Language Processing Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings /
Έκδοση: (2002)

Advances in Natural Language Processing 4th International Conference, EsTAL 2004, Alicante, Spain, October 20-22, 2004. Proceedings /
Έκδοση: (2004)

Grammatical Inference 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings /
Έκδοση: (1998)

Human Language Technology. Challenges for Computer Science and Linguistics 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers /
Έκδοση: (2018)

Computational Processing of the Portuguese Language 13th International Conference, PROPOR 2018, Canela, Brazil, September 24-26, 2018, Proceedings /
Έκδοση: (2018)

Algorithmic Learning Theory 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004. Proceedings /
Έκδοση: (2004)

Algorithmic Learning Theory 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings /
Έκδοση: (2003)

Principles of Data Mining and Knowledge Discovery 6th European Conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002, Proceedings /
Έκδοση: (2002)

Computational Linguistics and Intelligent Text Processing 4th International Conference, CICLing 2003, Mexico City, Mexico, February 16-22, 2003. Proceedings /
Έκδοση: (2003)

Chinese Lexical Semantics 18th Workshop, CLSW 2017, Leshan, China, May 18-20, 2017, Revised Selected Papers /
Έκδοση: (2018)

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings /
Έκδοση: (2019)

Handwriting Recognition Soft Computing and Probabilistic Approaches /
ανά: Liu, Zhi-Qiang, κ.ά.
Έκδοση: (2003)

Data Analytics and Management in Data Intensive Domains XIX International Conference, DAMDID/RCDL 2017, Moscow, Russia, October 10-13, 2017, Revised Selected Papers /
Έκδοση: (2018)

Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /
Έκδοση: (2000)

Types for Proofs and Programs International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers /
Έκδοση: (2000)

Computer Science Logic 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /
Έκδοση: (1999)

Rewriting Techniques and Applications 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /
Έκδοση: (1998)

Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings /
Έκδοση: (2001)

Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
Έκδοση: (2000)

Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers /
Έκδοση: (2002)

Computer Science Logic 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
Έκδοση: (2002)

Computational Processing of the Portuguese Language 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings /
Έκδοση: (2003)

Natural Language Processing - NLP 2000 Second International Conference Patras, Greece, June 2-4, 2000 Proceedings /
Έκδοση: (2000)

Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings /
Έκδοση: (2001)

New Frontiers in Artificial Intelligence JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers /
Έκδοση: (2018)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_h69nf4o5jeaqpk17gtm8eq70v3