Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Towards new logic and semantics:
Franco-Japanese collaborative lectures on philosophy of logic
Benoist, Jocelyn ; Girard, Jean-Yves ; Ogawa, Yoshinori ; Okada, Mitsuhiro | Keio University 2006

Congrès

y

- 263 p.
ISBN 978-4-902578-04-1

Localisation : Colloque RdC (TOKY)

philosophie # sémantique # logique intuitionniste

03AXX ; 00A30 ; 03A10

... Lire [+]

Filtrer

Type
Codes MSC

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
ever.

4

Gerer mes paniers

|

Signaler une erreur

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Mathematics and computer science III:
algorithms, trees, combinatorics and probabilities.
Vienna # September 13-17, 2004
Drmota, Michael ; Flajolet, Philippe ; Gardy, Danièle ; Gittenberger, Bernhard | Birkhäuser 2004

Congrès

V

- xv; 554 p.
ISBN 978-3-7643-7128-9

Trends in mathematics

Localisation : Colloque RdC (VIEN)

informatique # arbre # algorithme # combinatoire # générateur de nombres aléatoires # optimisation # évaluation de la performance

05-XX ; 60C05 ; 60Gxx ; 68P30 ; 68Q25 ; 68Rxx ; 68W20 ; 68W40 ; 90B15 ; 68-06 ; 68R10 ; 68R05 ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Mathematics and computer science II:
algorithms, trees, combinatorics and probabilities.
Versailles # September 18-20, 2002
Chauvin, Brigitte ; Flajolet, Philippe ; Gardy, Danièle ; Mokkadem, Abdelkader | Birkhäuser 2002

Congrès

V

- xiii; 557 p.
ISBN 978-3-7643-6933-0

Trends in mathematics

Localisation : Colloque RdC (VERS)

informatique # arbre # algorithme # combinatoire # générateur de nombres aléatoires # optimisation # évaluation de la performance

68M20 ; 68Q25 ; 68P30 ; 68Rxx ; 68W20 ; 90B15 ; 00B25 ; 05-06 ; 68-06

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Mathematics and computer science:
algorithms, trees, combinatorics and probabilities.
Versailles # September 18-20, 2000
Gardy, Danièle ; Mokkadem, Abdelkader | Birkhäuser 2000

Congrès

y

- xi; 340 p.
ISBN 978-3-7643-6430-4

Trends in mathematics

Localisation : Colloque RdC (VERS)

informatique # arbre # algorithme # combinatoire # générateur de nombres aléatoires # optimisation # évaluation de la performance

68W05 ; 00B25 ; 68-06 ; 68Rxx ; 68Q25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Computer algebra and differential equations.
Selected papers of the third biennal workshop on computer algebra and differential equations (CADE-92)
Marseille # June 1-5, 1992
Tournier , E. | Cambridge University Press 1994

Congrès

V

- v; 259 p.
ISBN 978-0-521-44757-7

London mathematical society lecture note series , 0193

Localisation : Collection 1er étage

algèbre informatique # équation différentielle # analyse numérique # D-module # système dynamique

00B25 ; 58-06 ; 14-06 ; 34-06

... Lire [+]