Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Algebras and formal specifications in geometric modelling

Identifieur interne : 001379 ( Istex/Curation ); précédent : 001378; suivant : 001380

Algebras and formal specifications in geometric modelling

Auteurs : Jean-François Dufourd [France]

Source :

RBID : ISTEX:5545DAF2855694D723364BEA6BD4C953B91C2A63

English descriptors

Abstract

:

Url:
DOI: 10.1007/s003710050095

Links toward previous steps (curation, corpus...)


Links to Exploration step

ISTEX:5545DAF2855694D723364BEA6BD4C953B91C2A63

Le document en format XML

<record>
<TEI wicri:istexFullTextTei="biblStruct">
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="en">Algebras and formal specifications in geometric modelling</title>
<author>
<name sortKey="Dufourd, Jean Francois" sort="Dufourd, Jean Francois" uniqKey="Dufourd J" first="Jean-François" last="Dufourd">Jean-François Dufourd</name>
<affiliation wicri:level="4">
<mods:affiliation>Laboratoire des Sciences de l’Image, de l’Informatique et de la Télédétection (LSIIT, URA CNRS 1871), Université Louis Pasteur, 7 rue René Descartes, 67084 Strasbourg Cedex, France e-mail: dufourd@dpt-info.u-strasbg.fr, FR</mods:affiliation>
<orgName type="university">Université Strasbourg 1</orgName>
<country>France</country>
<placeName>
<settlement type="city">Strasbourg</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Alsace (région administrative)</region>
</placeName>
</affiliation>
</author>
</titleStmt>
<publicationStmt>
<idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:5545DAF2855694D723364BEA6BD4C953B91C2A63</idno>
<date when="1997" year="1997">1997</date>
<idno type="doi">10.1007/s003710050095</idno>
<idno type="url">https://api.istex.fr/ark:/67375/VQC-7W1RXNZB-Z/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001396</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001396</idno>
<idno type="wicri:Area/Istex/Curation">001379</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title level="a" type="main" xml:lang="en">Algebras and formal specifications in geometric modelling</title>
<author>
<name sortKey="Dufourd, Jean Francois" sort="Dufourd, Jean Francois" uniqKey="Dufourd J" first="Jean-François" last="Dufourd">Jean-François Dufourd</name>
<affiliation wicri:level="4">
<mods:affiliation>Laboratoire des Sciences de l’Image, de l’Informatique et de la Télédétection (LSIIT, URA CNRS 1871), Université Louis Pasteur, 7 rue René Descartes, 67084 Strasbourg Cedex, France e-mail: dufourd@dpt-info.u-strasbg.fr, FR</mods:affiliation>
<orgName type="university">Université Strasbourg 1</orgName>
<country>France</country>
<placeName>
<settlement type="city">Strasbourg</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Alsace (région administrative)</region>
</placeName>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series>
<title level="j">The Visual Computer</title>
<title level="j" type="sub">International Journal of Computer Graphics</title>
<title level="j" type="abbrev">The Visual Computer</title>
<idno type="ISSN">0178-2789</idno>
<idno type="eISSN">1432-2315</idno>
<imprint>
<publisher>Springer-Verlag</publisher>
<pubPlace>Berlin/Heidelberg</pubPlace>
<date type="published" when="1997-05-01">1997-05-01</date>
<biblScope unit="volume">13</biblScope>
<biblScope unit="issue">3</biblScope>
<biblScope unit="page" from="131">131</biblScope>
<biblScope unit="page" to="154">154</biblScope>
</imprint>
<idno type="ISSN">0178-2789</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt>
<idno type="ISSN">0178-2789</idno>
</seriesStmt>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="KwdEn" xml:lang="en">
<term>Boundary representation</term>
<term>Constructive solid geometry</term>
<term>Extended λ-calculus</term>
<term>Formal specification</term>
<term>Geometric modeling</term>
<term>Key words: Universal algebra</term>
<term>Parameterization</term>
</keywords>
</textClass>
<langUsage>
<language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="en">:</div>
</front>
</TEI>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001379 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 001379 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    RBID
   |clé=     ISTEX:5545DAF2855694D723364BEA6BD4C953B91C2A63
   |texte=   Algebras and formal specifications in geometric modelling
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022