Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings /

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Murray, Neil V. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
Edition:	1st ed. 1999.
Series:	Lecture Notes in Artificial Intelligence ; 1617
Subjects:	Artificial intelligence. Natural language processing (Computer science). Mathematical logic. Artificial Intelligence. Natural Language Processing (NLP). Mathematical Logic and Formal Languages.
Online Access:	Full Text via HEAL-Link

Similar Items

Logical Aspects of Computational Linguistics Third International Conference, LACL'98 Grenoble, France, December 14-16, 1998 Selected Papers /
Published: (2001)

Incremental Speech Translation
by: Amtrup, Jan W., et al.
Published: (1999)

Logical Aspects of Computational Linguistics 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings /
Published: (2001)

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 /
Published: (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 /
Published: (2002)

Advances in Natural Language Processing Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings /
Published: (2002)

Advances in Natural Language Processing 4th International Conference, EsTAL 2004, Alicante, Spain, October 20-22, 2004. Proceedings /
Published: (2004)

Grammatical Inference 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings /
Published: (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 /
Published: (2018)

Computational Processing of the Portuguese Language 13th International Conference, PROPOR 2018, Canela, Brazil, September 24-26, 2018, Proceedings /
Published: (2018)

Grammatical Inference: Algorithms and Applications 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings /
Published: (2002)

Joint Training for Neural Machine Translation
by: Cheng, Yong, et al.
Published: (2019)

Chinese Lexical Semantics 18th Workshop, CLSW 2017, Leshan, China, May 18-20, 2017, Revised Selected Papers /
Published: (2018)

Logical Aspects of Computational Linguistics First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers /
Published: (1997)

Logical Aspects of Computational Linguistics Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers /
Published: (1999)

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 /
Published: (2001)

Algorithmic Learning Theory 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004. Proceedings /
Published: (2004)

Algorithmic Learning Theory 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings /
Published: (2003)

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

Computational Linguistics and Intelligent Text Processing 4th International Conference, CICLing 2003, Mexico City, Mexico, February 16-22, 2003. Proceedings /
Published: (2003)

Computational Linguistics and Intelligent Text Processing Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 Proceedings /
Published: (2002)

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 /
Published: (2018)

Formal Languages and Applications
Published: (2004)

Principles of Data Mining and Knowledge Discovery 6th European Conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002, Proceedings /
Published: (2002)

Statistical Language and Speech Processing 6th International Conference, SLSP 2018, Mons, Belgium, October 15-16, 2018, Proceedings /
Published: (2018)

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings /
Published: (2019)

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings /
Published: (2019)

Natural Language Processing - NLP 2000 Second International Conference Patras, Greece, June 2-4, 2000 Proceedings /
Published: (2000)

Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10-13, 2018, Proceedings /
Published: (2018)

Algorithmic Learning Theory 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings. /
Published: (2001)

Algorithmic Learning Theory 11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings /
Published: (2000)

Deep Learning in Natural Language Processing
Published: (2018)

Computational Processing of the Portuguese Language 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings /
Published: (2003)

Computational Linguistics and Intelligent Text Processing Second International Conference, CICLing 2001, Mexico-City, Mexico, February 18-24, 2001. Proceedings /
Published: (2001)

Computational Intelligence: Theories, Applications and Future Directions - Volume I ICCI-2017 /
Published: (2019)

Computational Intelligence: Theories, Applications and Future Directions - Volume II ICCI-2017 /
Published: (2019)

Intelligent Agents VI. Agent Theories, Architectures, and Languages 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings /
Published: (2000)

Nature Inspired Computing Proceedings of CSI 2015 /
Published: (2018)

Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings /
Published: (2018)

Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3-6, 2019, Proceedings /
Published: (2019)

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

Cannot write session to /tmp/vufind_sessions/sess_71ll3lao3hn4teset7i2amjnso