00982nam0-2200313---450-99000886201040332120090603152539.09788854112940000886201FED01000886201(Aleph)000886201FED0100088620120090603d2008----km-y0itay50------baitaITa-------001yy<<I >>quartieri di Napolidall'Arenella al Vomerola storia, i monumenti, i personaggi e le bellezze naturalistiche della città in un itinerario affascinante e suggestivoGiovanni LiccardoRomaNewton Compton2008446 p.ill.25 cmQuest'Italia356NapoliQuartieriLiccardo,Giovanni315217ITUNINARICAUNIMARCBK990008862010403321SEZ.NA B 26744FARBCFARBCQuartieri di Napoli803696UNINA04703nam 22006975 450 99646533660331620200629143800.03-540-47066-210.1007/3-540-55425-4(CKB)1000000000233809(SSID)ssj0000325539(PQKBManifestationID)11253540(PQKBTitleCode)TC0000325539(PQKBWorkID)10324292(PQKB)11250354(DE-He213)978-3-540-47066-3(PPN)155230123(EXLCZ)99100000000023380920121227d1992 u| 0engurnn|008mamaatxtccrParallelization in Inference Systems[electronic resource] International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings /edited by Bertram Fronhöfer, Graham Wrightson1st ed. 1992.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1992.1 online resource (X, 378 p.) Lecture Notes in Artificial Intelligence ;590Bibliographic Level Mode of Issuance: Monograph3-540-55425-4 Potentiality of parallelism in logic -- Parallel theorem provers An overview -- Parallel unification: Theory and implementations -- Connectionist inference systems -- Implementing parallel rewriting -- Experiments with Roo, a parallel automated deduction system -- A process algebra over the Herbrand Universe: Application to parallelism in automated deduction -- Using the Reform inference system for parallel Prolog -- Random competition: A simple, but efficient method for parallelizing inference systems -- Parallel and efficient implementation of the compartmentalized connection graph proof procedure: Resolution to unification -- Constraint satisfaction via partially parallel propagation steps -- A parallel theorem prover with heuristic work distribution -- Non-WAM models of logic programming and their support by novel parallel hardware -- The adam abstract dataflow machine -- Parallel computation model for parallel prolog -- Application of connectionist models to fuzzy inference systems -- CHCL — A connectionist inference system -- Project Summaries.This volume contains the proceedings of an international workshop on parallelism in inference systems held in Germany in December 1990. The topicof the workshop is still rather young and several papers in the book are overview articles intended to provide a first orientation toward some of the more intensively investigated subtopics. The main part of the book is a compilation of research papers on parallelization in special domains ofinference such as rewriting, automatic reasoning, logic programming, andconnectionist inference. Appended to the book is a collection of short project summaries received in response to a worldwide email call. The book is intended primarily for researchers working on inference systems who are interested in parallelizing their systems.Lecture Notes in Artificial Intelligence ;590Artificial intelligenceSoftware engineeringArchitecture, ComputerComputer programmingMicroprocessorsArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Processor Architectureshttps://scigraph.springernature.com/ontologies/product-market-codes/I13014Artificial intelligence.Software engineering.Architecture, Computer.Computer programming.Microprocessors.Artificial Intelligence.Software Engineering/Programming and Operating Systems.Computer System Implementation.Programming Techniques.Processor Architectures.004/.35Fronhöfer Bertramedthttp://id.loc.gov/vocabulary/relators/edtWrightson Grahamedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465336603316Parallelization in inference systems1501918UNISA02453nam 2200385 450 991015781870332120210107195442.00-19-179690-5(CKB)4200000000000107(StDuBDS)EDZ0001158409(MiAaPQ)EBC4842236(EXLCZ)99420000000000010720150126d2015 fy| 0engur|||||||||||rdacontentrdamediardacarrierPlatonic conversations /Mary Margaret McCabe[electronic resource]First edition.Oxford :Oxford University Press,2015.1 online resource0-19-873288-0 Includes bibliographical references and index.Platonic conversations -- On dialectic and method. Heraclitus and the art of paradox ; The moving posset stands still : Heraclitus Fr. 125 ; Parmenides' dilemma ; Myth, allegory, and argument in Plato ; Is dialectic as dialectic does? ; Does your Plato bite? ; Unity in the Parmenides : the unity of the Parmenides -- On knowledge and virtue in Plato. Looking inside Charmides' cloak ; Escaping one's own notice knowing : Meno's paradox again ; From the cradle to the cave : what happened to self-knowledge in the Republic? ; Indifference readings : Plato and the stoa on Socratic ethics ; Out of the labyrinth : Plato's attack on consequentialism -- On Aristotle's conversations with Plato. Perceiving that we see and hear : Aristotle on Plato on judgement and reflection ; Some conversations with Plato : Aristotle, Metaphysics Z. 13-16 ; With mirrors or without? : self-perception in Eudemian ethics vii. 12.This collection of chapters discusses a range of ancient philosophers, but focuses on the ways in which the Platonic method of conversation may inform how we understand both the Platonic dialogues and the work of his predecessors and successors. The centrality of conversation to philosophical method is taken here to account both for how we should read the ancients and for the connections between argument, knowledge, and virtue in the texts in question.Criticism, interpretation, etc.fast184McCabe Mary Margaret1948-188454StDuBDSStDuBDSBOOK9910157818703321Platonic conversations2885623UNINA