عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540669930 (alk. paper)
(Number (ISBN
9783540669937 (alk. paper)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b433773
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Generalized quantifiers and computation
General Material Designation
[Book]
Other Title Information
9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures /
First Statement of Responsibility
Jouko Väänänen (ed.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c1999.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
139 p. :
Other Physical Details
ill. ;
Dimensions
24 cm.
SERIES
Series Title
Lecture notes in computer science ;
Volume Designation
1754
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references.
CONTENTS NOTE
Text of Note
Generalized quantifiers, an introduction / Jouko Väänänen -- Counting and locality over finite structures : a survey / Leonid Libkin, Juha Nurmonen -- A perspective on Lindström quantifiers and oracles / Iain A. Stewart -- Generalized quantifiers in logic programs / Thomas Eiter, Georg Gottlob, Helmut Veith -- A generalized quantifier concept in computational complexity theory / Heribert Vollmer -- Ramsey theory is needed for solving definability problems of generalized quantifiers / Kerkko Luosto.
0
SYSTEM REQUIREMENTS NOTE (ELECTRONIC RESOURCES)
Text of Note
Mode of access: World Wide Web.
OTHER EDITION IN ANOTHER MEDIUM
Title
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
PIECE
Title
OhioLINK electronic book center
Title
SpringerLink
TOPICAL NAME USED AS SUBJECT
Computer logic, Congresses.
Computer science-- Mathematics, Congresses.
Programming languages (Electronic computers), Congresses.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Väänänen, J., (Jouko),1950-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
European Summer School in Logic, Language, and Information(9th :1997 :, Aix-en-Provence, France)
ORIGINATING SOURCE
Date of Transaction
20100716094926.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
