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 /
This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997. The six lectures presented introduce the reader to the state of the art in the area of generalized...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Väänänen, Jouko (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1999.
|
Έκδοση: | 1st ed. 1999. |
Σειρά: | Lecture Notes in Computer Science,
1754 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Mathesis Universalis, Computability and Proof
Έκδοση: (2019) -
Heyting Algebras Duality Theory /
ανά: Esakia, Leo, κ.ά.
Έκδοση: (2019) -
Graham Priest on Dialetheism and Paraconsistency
Έκδοση: (2019) -
New Essays on Belnap-Dunn Logic
Έκδοση: (2019) -
Immanent Reasoning or Equality in Action A Plaidoyer for the Play Level /
ανά: Rahman, Shahid, κ.ά.
Έκδοση: (2018)