m

F Nous contacter

0
     
Congrès

H 1 Automated deduction in geometry
second international workshop, ADG'98 proceedings
Aug. 1-3

Gao, Wiao-Shan (Editeur) ; Wang, Dongming (Editeur) ; Yang, Lu (Editeur)

Springer

1999

978-3-540-66672-1

00023374

03-06 ; 03B35 ; 68-06 ; 68T15

algèbre # déduction # déduction automatisée en géométrie # démonstration automatique de théorème # informatique # intelligence artificielle # logique # opération logique

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RFA

Langue : Anglais

EAN13 : 9783540666721

ISBN : 3-540-66672-9

Collation : 285 p. fig. 24 cm broch. ; Bibliogr. ; Index

Collection : Lecture notes in artificial intelligence

N° de collection : 1669

Localisation : Colloque 1er étage (BEIJ)

Nom de la rencontre : Second international workshop, ADG'98

Numéro de congrès : 2

Année de la rencontre : 1998

Ville du congrès : Beijing

Pays du congrès : Chine

Code ACM : F.4.1 ; G.2 ; I.2.3 ; I.3.5 ; I.5

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00023374 [non empruntable]
Z