An Introduction to the Language of Mathematics

HK$446

Automata, Languages and Programming (13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurent Kott

Automata, Languages and Programming (13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurent Kott

HK$500

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 (Lecture Notes in Computer Science / Lecture Note)

By Mokrane Bouzeghoub, Zoubida Kedad, Elisabeth Metais

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 (Lecture Notes in Computer Science / Lecture Note)

By Mokrane Bouzeghoub, Zoubida Kedad, Elisabeth Metais

HK$530

Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information ESSLLI'97 Workshop Aix-en-Provence, France, August 11-22, 1997 Revised Lectures (9th: European Summer School in Logic, Language, and Information, ESSLL)

By Jouko Vaananen

Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information ESSLLI'97 Workshop Aix-en-Provence, France, August 11-22, 1997 Revised Lectures (9th: European Summer School in Logic, Language, and Information, ESSLL)

By Jouko Vaananen

HK$479

Natural Language Processing and Information Systems (12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007, Proceedings (Information Systems and Applications, incl. Internet ..)

By Zoubida Kedad, N. Lammari, Elisabeth Metais, Farid Meziane

Natural Language Processing and Information Systems (12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007, Proceedings (Information Systems and Applications, incl. Internet ..)

By Zoubida Kedad, N. Lammari, Elisabeth Metais, Farid Meziane

HK$540

Structured Object-Oriented Formal Language and Method (5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues))

By Shaoying Liu, Zhenhua Duan

Structured Object-Oriented Formal Language and Method (5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues))

By Shaoying Liu, Zhenhua Duan

HK$760

Graph Structure and Monadic Second-Order Logic (A Language-Theoretic Approach (Encyclopedia of Mathematics and Its Applications))

By Bruno Courcelle, Joost Engelfriet

Graph Structure and Monadic Second-Order Logic (A Language-Theoretic Approach (Encyclopedia of Mathematics and Its Applications))

By Bruno Courcelle, Joost Engelfriet

HK$1,240 Elsewhere ~~HK$1,728.35~~ Save HK$488.35 (28%)

Games (Unifying Logic, Language, and Philosophy (Logic, Epistemology, and the Unity of Science))

By Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo

Games (Unifying Logic, Language, and Philosophy (Logic, Epistemology, and the Unity of Science))

By Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo

HK$1,494

Games (Unifying Logic, Language, and Philosophy (Logic, Epistemology, and the Unity of Science))

By Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo

Games (Unifying Logic, Language, and Philosophy (Logic, Epistemology, and the Unity of Science))

By Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo

HK$1,493

Automata, Languages and Programming (Fifth Colloquium, Udine, Italy, July 17 - 21, 1978, Proceedings: v. 62 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By G. Ausiello, C. Böhm

Automata, Languages and Programming (Fifth Colloquium, Udine, Italy, July 17 - 21, 1978, Proceedings: v. 62 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By G. Ausiello, C. Böhm

HK$540

Semantics of Data Types (International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science))

By G. Kahn, D. B. MacQueen, G. Plotkin

Semantics of Data Types (International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science))

By G. Kahn, D. B. MacQueen, G. Plotkin

HK$500

Advances in Natural Language Processing (4th International Conference, Estal 2004, Alicante, Spain, October 20-22, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jose Luis Vicedo, Particio Martinez-Barco, Particio Martinez-Barco, Maximiliano Saiz Noeda

Advances in Natural Language Processing (4th International Conference, Estal 2004, Alicante, Spain, October 20-22, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jose Luis Vicedo, Particio Martinez-Barco, Particio Martinez-Barco, Maximiliano Saiz Noeda

HK$1,100

Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

HK$538

Logical Aspects of Computational Linguistics (4th International Conference, Lacl 2001, Le Croisic, France, June 27-29, 2001, Proceedings: 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings (Lecture Notes in Computer)

By Philippe de Groote, Glyn Morrill, Christian Retore

Logical Aspects of Computational Linguistics (4th International Conference, Lacl 2001, Le Croisic, France, June 27-29, 2001, Proceedings: 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings (Lecture Notes in Computer)

By Philippe de Groote, Glyn Morrill, Christian Retore

HK$500

Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings (8th: International Symposium, SAS 2001, Paris, France, July 16-18, 2001 - Proceedings (Lecture Notes in Computer Science))

By Patrick Cousot

Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings (8th: International Symposium, SAS 2001, Paris, France, July 16-18, 2001 - Proceedings (Lecture Notes in Computer Science))

By Patrick Cousot

HK$538

Programming Languages and Systems (11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings (Lecture Notes in Comput ..)

By Daniel Le Metayer

Programming Languages and Systems (11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings (Lecture Notes in Comput ..)

By Daniel Le Metayer

HK$660

Advances in Natural Language Processing (Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Elisabete Ranchod, Nuno J. Mamede

Advances in Natural Language Processing (Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Elisabete Ranchod, Nuno J. Mamede

HK$578

Programming Language Implementation and Logic Programming (International Workshop Plilp 90, Linkoping, Sweden, August 20-22, 1990. Proceedings: 1990 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Deransart, Jan Maluszynski

Programming Language Implementation and Logic Programming (International Workshop Plilp 90, Linkoping, Sweden, August 20-22, 1990. Proceedings: 1990 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Deransart, Jan Maluszynski

HK$536

ESOP '92 (4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science))

By Bernd Krieg-Bruckner

ESOP '92 (4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science))

By Bernd Krieg-Bruckner

HK$555

Term Rewriting (French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science))

By Hubert Comon, Jean-Pierre Jouannaud

Term Rewriting (French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science))

By Hubert Comon, Jean-Pierre Jouannaud

HK$498

Natural Language Processing - NLP 2000 (Second International Conference Patras, Greece, June 2-4, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dimitris N. Christodoulakis

Natural Language Processing - NLP 2000 (Second International Conference Patras, Greece, June 2-4, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dimitris N. Christodoulakis

HK$540

Natural Language and Information Systems (13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008, Proceedings (Lecture Notes in Computer Science))

By Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou

Natural Language and Information Systems (13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008, Proceedings (Lecture Notes in Computer Science))

By Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou

HK$532

Logic, Language and Meaning (17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria Aloni, Harald Bastiaanse, Tikitu de Jager, Katrin Schulz

Logic, Language and Meaning (17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria Aloni, Harald Bastiaanse, Tikitu de Jager, Katrin Schulz

HK$560

New Directions in Logic, Language, and Computation (ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Daniel Lassiter, Marija Slavkovik

New Directions in Logic, Language, and Computation (ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Daniel Lassiter, Marija Slavkovik

HK$452

View:
Safe Search(?):