|
Showing 1 - 14 of
14 matches in All Departments
|
Truculent (Hardcover)
Michael J. Stuckey Jr
|
R501
R422
Discovery Miles 4 220
Save R79 (16%)
|
Ships in 10 - 15 working days
|
|
Adjy (Hardcover)
Michael J. Stuckey Jr
|
R603
R509
Discovery Miles 5 090
Save R94 (16%)
|
Ships in 10 - 15 working days
|
These essays take advantage of a new, exciting trend towards
interdisciplinary research on the Charlemagne legend. Written by
historians, art historians, and literary scholars, these essays
focus on the multifaceted ways the Charlemagne legend functioned in
the Middle Ages and how central the shared (if nonetheless
fictional) memory of the great Frankish ruler was to the medieval
West. A gateway to new research on memory, crusading, apocalyptic
expectation, Carolingian historiography, and medieval kingship, the
contributors demonstrate the fuzzy line separating "fact" and
"fiction" in the Middle Ages.
These essays take advantage of a new, exciting trend towards
interdisciplinary research on the Charlemagne legend. Written by
historians, art historians, and literary scholars, these essays
focus on the multifaceted ways the Charlemagne legend functioned in
the Middle Ages and how central the shared (if nonetheless
fictional) memory of the great Frankish ruler was to the medieval
West. A gateway to new research on memory, crusading, apocalyptic
expectation, Carolingian historiography, and medieval kingship, the
contributors demonstrate the fuzzy line separating "fact" and
"fiction" in the Middle Ages.
This volume contains the proceedings of the 7th International
Symposium on Functional and Logic Programming (FLOPS 2004), held in
Nara, Japan, April 7-9, 2004 at the New Public Hall, Nara. FLOPS is
a forum for research on all issues concerning functional progr-
mingandlogicprogramming.
Inparticularitaimstostimulatethecross-fertili- tion as well as the
integration of the two paradigms. The previous FLOPS me- ings took
place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba
(1999), Tokyo(2001)and Aizu (2002). The proceedingsofFLOPS 1999,
FLOPS 2001 and FLOPS 2002 were published by Springer-Verlag in the
Lecture Notes in Computer Science series, as volumes 1722, 2024 and
2441, respectively. In response to the call for papers, 55 papers
were submitted by authors from 1 Australia (1), Austria (1), Canada
(1), China (4), Denmark (2), Estonia ( ), 2 1 1 France (3 ),
Germany (4 ), Italy (1), Japan (15), the Netherlands (1), Oman 2 4
1 1 (1), Portugal ( ), Singapore (2), Spain (8), UK (3), and USA (6
). Each paper 2 4 was reviewed by at least three program committee
members with the help of expert external reviewers. The program
committee meeting was conducted el- tronically for a period of 2
weeks in December 2003. After careful and thorough discussion, the
program committee selected 18 papers (33%) for presentation at
theconference. Inadditiontothe18contributedpapers,
thesymposiumincluded talks by three invited speakers: Masami Hagiya
(University of Tokyo), Carsten Schur ] mann (Yale University), and
Peter Selinger (University of Ottawa)
This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002.The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed.
|
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings (Paperback, 1st ed. 2021)
Peter J Stuckey
|
R1,527
Discovery Miles 15 270
|
Ships in 10 - 15 working days
|
This volume LNCS 12735 constitutes the papers of the 18th
International Conference on the Integration of Constraint
Programming, Artificial Intelligence, and Operations Research,
CPAIOR 2021, which was held in Vienna, Austria, in 2021. Due to the
COVID-19 pandemic the conference was held online. The 30 regular
papers presented were carefully reviewed and selected from a total
of 75 submissions. The conference program included a Master Class
on the topic "Explanation and Verification of Machine Learning
Models".
I went to the kitchen with the idea of creating tasteful recipes,
that you can whip up (cook) in 10 minutes or less. So I prepared
each and every recipe, made several changes, and improvements,
finally I realized for a mouth watering, bold tasting, rich dinner
you have to forget about the prep work and focus on the cooking. I
came up with 'Dine and Dash - 10 Minute Dinner Recipes' I hope
y'all enjoy cooking and tasting these wonderful recipes, as much as
I have. Please keep in mined, everyone's stove and oven operates
diffidently, in-turn cooking times may vary.
This book constitutes the thoroughly refereed post-conference
proceedings of the 28th International Symposium on Logic-Based
Program Synthesis and Transformation, LOPSTR 2018, held in
Frankfurt/Main, Germany, in September 2018.The 11 revised full
papers were carefully reviewed and selected from 29 submissions. In
addition to the 11 papers, this volume includes 3 abstracts of
invited talks and 2 abstracts of invited tutorials. The papers are
grouped into the following topics: analysis of term rewriting;
logic-based distributed/concurrent programming; analysis of logic
programming; and program analysis.
|
|