Leone nicola (72 resultados)

28 x 25 cm ; kart. . Condición: Gut. 271 S. ; Reihe "Die Großen Sammlungen" Band 5. Großformatige Paperbackausgabe, 271 Seiten mit zahlreichen farbigen Abbildungen. Gutes Exemplar. hw1736.

Rilegato. Condición: new. Piazza Armerina, 2022; ril., pp. 80. (Nuovo Ateneo. Ergo). È bastato un grappolo di anni per sgretolare gli organismi di azione collettiva che legittimavano la progettazione e l'azione in prospettive di lungo periodo e ridurre al silenzio grandi ragioni orientanti in favore di logiche intercambiabili e provvisorie. Lentamente l'ideologia e la religione, in quanto produttrici di strutture culturali ampie e durature, iniziano a cedere. Da questa prospettiva si avvia lo straordinario confronto tra un sacerdote e un sociologo sul mondo, la vita, la felicità, il significato dell'esistenza e la prospettiva dell'umanità. Libro.…

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.

In 8. Pp. 2; 8. Br. muta moderna in cartoncino. Stralci dagli Atti della Societa' Zoologica Italiana, Serie II, Vol. VIII. ITA.

Condición: New.

Condición: New. In English.

Condición: New.

Condición: New.

Condición: As New. Unread book in perfect condition.

Hardback. Condición: New.

Hardback. Condición: New.

Condición: New.

Condición: New. pp. 476.

Paperback. Condición: Brand New. revised edition. 180 pages. 9.25x6.10x0.71 inches. In Stock.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Papers.- Nonmonotonic Reasoning in FLORA-2.- Data Integration and Answer Set Programming.- Halo I: A Controlled Experiment for Large Scale Knowledge Base Development.- ASP Foundations.- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates.- Loops: Relevant or Redundant .- Approximating Answer Sets of Unitary Lifschitz-Woo Programs.- On Modular Translations and Strong Equivalence.- ASP Extensions.- Guarded Open Answer Set Programming.- External Sources of Computation for Answer Set Solvers.- Answer Sets for Propositional Theories.- Applications.- An ID-Logic Formalization of the Composition of Autonomous Databases.- On the Local Closed-World Assumption of Data-Sources.- Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming.- Actions and Causations.- An Approximation of Action Theories of and Its Application to Conformant Planning.- Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories.- Some Logical Properties of Nonmonotonic Causal Theories.- odular- : An Elaboration Tolerant Approach to the Ramification and Qualification Problems.- Algorithms and Computation.- Platypus: A Platform for Distributed Answer Set Solving.- Solving Hard ASP Programs Efficiently.- Mode-Directed Fixed Point Computation.- Lookahead in Smodels Compared to Local Consistencies in CSP.- Foundations.- Nested Epistemic Logic Programs.- An Algebraic Account of Modularity in ID-Logic.- Default Reasoning with Preference Within Only Knowing Logic.- Semantics.- A Social Semantics for Multi-agent Systems.- Revisiting the Semantics of Interval Probabilistic Logic Programs.- Routley Semantics for Answer Sets.- The Well Supported Semantics for Multidimensional Dynamic Logic Programs.- Application Track.- Application ofSmodels in Quartet Based Phylogeny Construction.- Using Answer Set Programming for a Decision Support System.- Data Integration: a Challenging ASP Application.- Abduction and Preferences in Linguistics.- Inference of Gene Relations from Microarray Data by Abduction.- System Track.- nomore: A System for Computing Preferred Answer Sets.- Integrating an Answer Set Solver into Prolog: - .- circ2dlp - Translating Circumscription into Disjunctive Logic Programming.- Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers.- KMonitor- A Tool for Monitoring Plan Execution in Action Theories.- The nomore++ System.- Smodels A - A System for Computing Answer Sets of Logic Programs with Aggregates.- A DLP System with Object-Oriented Features.- Testing Strong Equivalence of Datalog Programs - Implementation and Examples.- SELP - A System for Studying Strong Equivalence Between Logic Programs.- cmodels - SAT-Based Disjunctive Answer Set Solver.…

Soft cover. Condición: Near Fine. 3rd Edition. Paperback, third edition, 327 pages, copiously illustrated with colour photos and colour and b&w maps and plans (291 images + 70 plans), NOT ex-library. Book looks unread, minor handling wear. Clean and bright throughout with unmarked text, free of inscriptions and stamps, firmly bound. Straight uncreased spine. -- Adesso con indice delle località! La cultura islamica nella Sicilia medievale illustra i modi raffinati con cui la grande eredità artistica e culturale della dominazione islamica sull'isola (secc. X-XI) venne assorbita e genialmente reinterpretata nell'arco di tre secoli (XI-XIII) dagli artisti attivi durante il regno normanno di Sicilia che ebbe il suo acme con la splendente età di Ruggero II. Stupefacenti paesaggi costieri e montuosi fanno da cornice a borghi, castelli, chiese, giardini e antiche moschee cristianizzate. Cinque Percorsi vi invitano a scoprire 43 musei, monumenti e siti a Palermo, Monreale, Mazara del Vallo, Salemi, Segesta, Erice, Cefalù and Catania (fra gli altri). -- The book illustrates how the great artistic and cultural heritage of the Arabs who ruled the island in the 10th and 11th centuries was assimilated and reinterpreted during the Norman reign that followed, achieving its acme in the resplendent age of Ruggero II in the 12th century. Spectacular coastal and mountain landscapes provide the backdrop for visits to villages, castles, gardens, churches and Christianised old mosques. Ten itineraries invite you to discover 91 museums, monuments and sites in Palermo, Monreale, Mazara del Vallo, Salemi, Segesta, Erice, Cefalù and Catania (among others). -- "Sicily was won from the Aghlabids in 827 and passed to the Fatimids in 948. The Norman Conquest of 1061 finally ousted the Muslims from the Island. Organised into three administrative valla - Val di Mazara, Val di Noto, Val Demone - Islamic Sicily produced singularly imaginative crafts and many religious and civic buildings, resurrecting some Byzantine canons, at times still heavily tainted with a late Antique resonance. The Norman monarchy knew how to incorporate, in an innovative and quite manifest way, the contributions of Islamic art. A myriad of monuments attributed to Roger II and William II were enhanced with these elaborate symbioses. The beauty of these sometimes leave us short of adequate words to describe the magnificent palaces and pleasure houses, the luxuriant gardens, and the refined marbles and glowing mosaics produced at this time when Norman kings lived in these surroundings as emirates. Along with the Conca d'Oro, Palermo became the epicentre of the dissemination of Islamic culture on the Island and offers an eloquent introduction to all the Islamic styles of this period in its ecclesiastical and palatial buildings. The admiration felt by the Norman rulers for the masters of the past is manifest in some splendid monuments such as the Tower (Burj) of Alfaina, the Palaces of Maredolce and of Uscibene, and, in particular, in the two Pavilions of Zisa and Cuba. In the province of Agrigento, several remnants of the Arab era have been preserved in the urban fabric, the burjs and the ribats. On the northern coast and in the mountainous regions of the Nebrodi (Vicari, Altavilla Milicia, Caccamo, Campofelice di Roccella, Cefalù), ruins of fortresses and castles are further evidence of this unique relationship. The Arab-Norman synthesis displayed a powerful originality born out of three centuries (12th-14th) of the successful integration of motifs, typologies, techniques and infrastructures." In Italian.…

Taschenbuch. Condición: Neu. Practical Aspects of Declarative Languages | 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings | Francesco Calimeri (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2017 | Springer | EAN 9783319733043 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condición: New. In English.

Paperback. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: New.

Condición: DISCRETO USATO. Da revisionare ITALIANO Coperta imbrunita e segnata da fattore tempo. Legatura allentata, tagli regolari ed imbruniti, pagine con imbrunitura. Libro completamente fruibile, con note a pià di pagina, presente illustrazione in nero in antiporta, numero pagine 25; da segnalare: annotazione a penna al piatto anteriore.…

Taschenbuch. Condición: Neu. Logics in Artificial Intelligence | 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings | Francesco Calimeri (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2019 | Springer | EAN 9783030195694 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including: belief revision and argumentation; causal, defeasible and inductive reasoning; conditional, probabilistic and propositional logic; description logics; logic programming; modal and default logic; and temporal logic.…

Condición: As New. Unread book in perfect condition.

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: As New. Unread book in perfect condition.

Condición: New.

Paperback. Condición: Brand New. 840 pages. 9.25x6.10x1.85 inches. In Stock.