The following text field will produce suggestions that follow it as you type.

Barnes and Noble

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

Unfortunately, this item is no longer available, but we found some similar items you might like.
Generalized Quantifiers: Linguistic and Logical Approaches

Generalized Quantifiers: Linguistic and Logical Approaches

Barnes and Noble
Quantifiers: Logics, Models and Computation: Volume One: Surveys / Edition 1

Quantifiers: Logics, Models and Computation: Volume One: Surveys / Edition 1

Barnes and Noble
Quantifiers in Action: Generalized Quantification in Query, Logical and Natural Languages / Edition 1

Quantifiers in Action: Generalized Quantification in Query, Logical and Natural Languages / Edition 1

Barnes and Noble
Mathematical Logic and Computation

Mathematical Logic and Computation

Barnes and Noble
Quantifiers in Language and Logic / Edition 1

Quantifiers in Language and Logic / Edition 1

Barnes and Noble
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / Edition 1

Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / Edition 1

Barnes and Noble
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings / Edition 1

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings / Edition 1

Barnes and Noble
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings / Edition 1

Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings / Edition 1

Barnes and Noble
Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Barnes and Noble
Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings

Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings

Barnes and Noble
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / Edition 1

Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / Edition 1

Barnes and Noble
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1

Barnes and Noble
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1

Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1

Barnes and Noble
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Barnes and Noble
Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / Edition 1

Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / Edition 1

Barnes and Noble
Computational Logic and Proof Theory: Third Kurt G�del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings / Edition 1

Computational Logic and Proof Theory: Third Kurt G�del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings / Edition 1

Barnes and Noble
Powered by Adeptmind