Asperti (72 resultados)

hardcover. Condición: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.

Condición: As New. : Este libro de Stefano Asperti, publicado en 2006 por Viella, explora los orígenes de las lenguas y literaturas romances. Con 299 páginas, incluye referencias bibliográficas y forma parte de la serie 'I libri di Viella'. La primera edición se centra en la filología romance y la historia y crítica de la literatura romance. EAN: 9788883342219 Tipo: Libros Categoría: Historia Título: Origini romanze Autor: Stefano Asperti Idioma: ita Páginas: 299.…

Paperback. Condición: New.

Paperback. Condición: New.

Condición: NEW.

Condición: New.

Paperback or Softback. Condición: New. Mathematical Knowledge Management: Third International Conference, Mkm 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings. Book.

Condición: New.

Condición: NEW.

Condición: Buone. italiano Condizioni dell'esterno: Discrete con difetti, segni d'uso Condizioni dell'interno: Discrete con Difetti, note nel testo.

Condición: Buone. italiano Condizioni dell'esterno: Buone Condizioni dell'interno: Buone.

Condición: new.

Condición: New.

Condición: New.

Condición: New.

Brossura. Condición: new. Lucca, 2021; br., pp. 400, cm 17x23,6. (Interferenze). Un'opera che ha richiesto un lungo tempo di ricerca, studio, selezione e assaggi quella che Ivano Asperti, scrittore del vino, ci propone. Un'opera ponderosa messa insieme con la pazienza di un ricercatore attento e l'entusiastica determinazione di chi è mosso, prima di tutto, dalla passione. Un'opera che andrà a integrarsi alla già nutrita biblioteca riferita alla viticoltura e alla civiltà del vino. Un'opera che, attraverso schede storiche e tecniche di ragionata esattezza, porta all'attenzione di appassionati e operatori del settore oltre 290 vitigni del ricco e ancora poco conosciuto e valorizzato giacimento viticolo del nostro Paese. Libro.…

Brossura. Condición: new. Ravenna, 1995; br., pp. 272, cm 16x23. (Memoria del Tempo. 3). Libro.

Condición: New. pp. 240.

Condición: new.

Paperback. Condición: Brand New. Italian language. 8.19x5.91x0.79 inches. In Stock.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Copyright Issues for MKM.- Efficient Retrieval of Mathematical Statements.- Formalizing Set Theory as it Is Actually Used.- Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles.- Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics.- Mathematical Service Matching Using Description Logic and OWL.- C-CoRN, the Constructive Coq Repository at Nijmegen.- Classifying Differential Equations on the Web.- Managing Heterogeneous Theories within a Mathematical Knowledge Repository.- Rough Concept Analysis - Theory Development in the Mizar System.- A Path to Faithful Formalizations of Mathematics.- Flexible Encoding of Mathematics on the Computer.- CPoint: Dissolving the Author's Dilemma.- On Diagrammatic Representation of Mathematical Knowledge.- Predicate Logic with Sequence Variables and Sequence Function Symbols.- A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics.- Theorem Proving and Proof Verification in the System SAD.- Adaptive Access to a Proof Planner.- Modeling Interactivity for Mathematics Learning by Demonstration.- Extraction of Logical Structure from Articles in Mathematics.- Improving Mizar Texts with Properties and Requirements.- An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics.- Intuitive and Formal Representations: The Case of Matrices.- Mathematical Libraries as Proof Assistant Environments.- Efficient Ambiguous Parsing of Mathematical Formulae.- An Architecture for Distributed Mathematical Web Services.- The Categorial Type of OpenMath Objects. …

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Regular Contributions.- Digitisation, Representation, and Formalisation Digital Libraries of Mathematics.- MKM from Book to Computer: A Case Study.- From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls.- Managing Digital Mathematical Discourse.- NAG Library Documentation.- On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions.- Problems and Solutions for Markup for Mathematical Examples and Exercises.- An Annotated Corpus and a Grammar Model of Theorem Description.- A Query Language for a Metadata Framework about Mathematical Resources.- Information Retrieval in MML.- An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG-Environment.- Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge.- On the Integrity of a Repository of Formalized Mathematics.- A Theoretical Analysis of Hierarchical Proofs.- Comparing Mathematical Provers.- Translating Mizar for First Order Theorem Provers.- Invited Talk.- The Mathematical Semantic Web.…

Condición: very good. Photo non contractuelle. Envoi rapide et soigné.

Condición: NEW.

paperback. Condición: New. In shrink wrap. Looks like an interesting title.

Taschenbuch. Condición: Neu. Mathematical Knowledge Management | Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings | Andrea Asperti (u. a.) | Taschenbuch | x | Englisch | 2004 | Springer | EAN 9783540230298 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Brossura. Condición: new. Lucca, 2025; br., pp. 432, ill., cm 19,7x24. (Grandi Libri Illustrati). Le anfore sono tornate nel mondo del vino nazionale da quando Joko Gravner a fine anni '90 rimase folgorato dalla sapienza e maestria degli artigiani georgiani. In seguito, l'interesse si allargò in tutta l'Europa enoica e, soprattutto, a partire dal 2008 si registrerà anche in Italia un forte impulso, che non si limiterà a riportare in auge la grande tradizione di orci e giare in cotto ma produrrà anche vasi vinari con materiali più moderni ed innovativi, creando una sempre utile competitività, che oggi pone questo settore produttivo al vertice della sfida internazionale. Da qui, è nata l'esigenza di raccontare, attraverso una presa diretta con i produttori italiani delle varie tipologie di anfore e i viticoltori, come questa tendenza stia incidendo nel mondo del vino nazionale. Libro.…

Softcover. Condición: Gut. Gebraucht - Gut Verlagsmängelex., X, 225 p. Also available online This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003. The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory.…

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

Condición: New.