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

Word equations and related topics :
second international workshop, IWWERT '91#Oct. 7-9
Abdulrab, Habib ; Pécuchet, Jean-Pierre | Springer-Verlag 1993

Congrès

V

- 214 p.
ISBN 978-3-540-56730-1

Lecture notes in computer science , 0677

Localisation : Collection 1er étage

combinatoire # déduction # langage formel # logique mathématique # méthodologie de calcul # optimisation # structure des données informatiques # théorème de preuve

68P05 ; 68Q45 ; 68Qxx ; 68R05 ; 68T15

... Lire [+]

Filtrer

Type
Codes MSC

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
basket-add form-contents popup">

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

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

Combinatorics, complexity, and logic
proceedings of DMTCS'96
papers from the first international conference on DMTCS
Dec. 9-13
Bridges, D. S. ; Calude, C. S. ; Gibbons, J. | Springer 1997

Congrès

y


ISBN 978-981-3083-14-1

Localisation : Colloque RdC (AUCK)

algorithme # analyse combinatoire # complexité du calcul informatique # graphe # logique symbolique # mathématique discrète

05-06 ; 68Qxx ; 68R05 ; 68R10

... Lire [+]

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

Proof complexity and feasible arithmetics :
DIMACS worshop#April 21-24
Beam, Paul W. ; Buss, Samuel R. | American Mathematical Society 1998

Congrès

V

- 320 p.
ISBN 978-0-8218-0577-0

DIMACS series in discrete mathematics and theoretical computer science , 0039

Localisation : Collection 1er étage

arithmétique du premier ordre # classe de complexité # combinatoire # complexite de preuve # fragment # informatique-théorique # logique # mathématique construction # théorie de la preuve # théorie de récursion

03F20 ; 03F30 ; 03F50 ; 68Q15 ; 68R05

... Lire [+]

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

Combinatorics'90
recent trends and applications
proceedings of the conference on combinatorics
may 20-27
Barlotti, A. ; Bichara, A. ; Ceccherini, P. V. ; Tallini, G. | North-Holland 1992

Congrès

V


ISBN 978-0-444-89452-6

Annals of discrete mathematics , 0052

Localisation : Colloque RdC (GAET)

analyse combinatoire # combinatoire # geometrie # geometrie combinatoire # geometrie de l'informatique # geometrie discrete # graphes # mathematiques discretes # theorie des graphes

51N05 ; 68R05 ; 68R10 ; 68Rxx ; 68U05

... Lire [+]

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

Graph partitioning and graph clustering.
10th DIMACS implementation challenge workshop
Atlanta # February 13-14, 2012
Bader, David A. ; Meyerhenke, Henning ; Sanders, Peter ; Wagner, Dorothea | American Mathematical Society;Center for discrete mathematics and theoretical computer science 2013

Congrès

V

- xiii; 240 p.
ISBN 978-0-8218-9038-7

Contemporary mathematics , 0588

Localisation : Collection 1er étage

combinatoires # arbres # hypergraphe # factorisation # algorithme

05C85 ; 68W05 ; 68W10 ; 68R05 ; 68R10 ; 05C05 ; 05C65 ; 05-06 ; 05C70 ; 00B25

... Lire [+]

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

Gems in experimental mathematics
AMS special session on experimental mathematics
Washington # january 5, 2009
Amdeberhan, Tewodros ; Medina, Luis A. ; Moll, Victor H. | American Mathematical Society 2010

Congrès

V

- vii; 413 p.
ISBN 978-0-8218-4869-2

Contemporary mathematics , 0517

Localisation : Collection 1er étage

analyse combinatoire # théorie des nombres # mathématiques expérimentales # Maple # Mathematica

05A17 ; 11A05 ; 11A41 ; 11C08 ; 11F46 ; 11P55 ; 11Y60 ; 14J32 ; 14N15 ; 15A24 ; 37D40 ; 37D50 ; 65D18 ; 68R05 ; 00B25 ; 11-06 ; 37Dxx

... Lire [+]