Filter by
Logic programming :proceedings of the 1996 Joint International Conference and…
Includes index.September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Con…
- Edition
- -
- ISBN/ISSN
- 9780262291309
- Collation
- 1 online resource (xix, 554 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the 1995 international symposium
"December 4-7, 1995, Portland, Oregon The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradig…
- Edition
- -
- ISBN/ISSN
- 9780262291248
- Collation
- 1 online resource (ix, 646 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the Fourteenth International Conference on …
"July 8-12, 1997, Leuven, Belgium"--Page 4 of cover."The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programm…
- Edition
- -
- ISBN/ISSN
- 0262291355
- Collation
- 1 online resource (xvii, 424 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the twelfth International Conference on Log…
"13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The …
- Edition
- -
- ISBN/ISSN
- 9780262291439
- Collation
- 1 online resource (xx, 834 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the 1997 International Symposium
Symposium held Oct. 13-16, 1997.The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming c…
- Edition
- -
- ISBN/ISSN
- 9780262291323
- Collation
- 1 online resource (xvi, 425 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming languages :constraints, functions, and objects
"This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped ac…
- Edition
- -
- ISBN/ISSN
- 9780262255646
- Collation
- 1 online resource (xiv, 204 pages).
- Series Title
- -
- Call Number
- -
The logic of political survival
The authors of this ambitious book address a fundamental political question: why are leaders who produce peace and prosperity turned out of office while those who preside over corruption, war, and misery endure? Considering this political puzzle, they also answer the related economic question of why some countries experience successful economic development and others do not. The authors constru…
- Edition
- -
- ISBN/ISSN
- 9780262269520
- Collation
- 1 online resource (xiii, 536 pages) :illustrations
- Series Title
- -
- Call Number
- -
The limits of culture :Islam and foreign policy
"The Limits of Culture explores the effect of culture on foreign policy, focusing on countries in the geopolitically important Caspian region and paying particular attention to those states that have identified themselves as Islamic republics: Iran, Taliban Afghanistan, and Pakistan."--Jacket.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262283441
- Collation
- 1 online resource (ix, 350 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The letters of George Santayana.
The second of eight books of the correspondence of George Santayana.Since the first selection of George Santayana's letters was published in 1955, shortly after his death, many more letters have been located. The Works of George Santayana, Volume V, brings together a total of more than 3,000 letters. The volume is divided chronologically into eight books of roughly comparable length. Book Two c…
- Edition
- -
- ISBN/ISSN
- 9780262283007
- Collation
- 1 online resource (lxxiii, 576 pages).
- Series Title
- -
- Call Number
- -
The letters of George Santayana.
Includes index.The third of eight books of the correspondence of George Santayana.Book Three of George Santayana's letters covers a period of intense intellectual activity in Santayana's life, and the correspondence reflects the establishment of his mature philosophy. Santayana becomes more permanently established in Italy, but continues to travel in France, Spain, and England. The year 1927 ma…
- Edition
- -
- ISBN/ISSN
- 9780262282994
- Collation
- 1 online resource (600 pages).
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography