m
     
Congrès

H 0 Computational logic and proof theory :
5th Kurt Gödel colloquium, KGC '97#Aug. 25-29

Gottlob, Georg (Editeur) ; Leitsch, Alexander (Editeur) ; Mundici, Daniele (Editeur)

Springer

1997

347 p.

978-3-540-63385-3

00021486

68N17 ; 68Q15 ; 68Q20 ; 68Q25 ; 68Q45

algorithme non numérique # complexité # formalisme # intelligence artificiel # langage formel # logique mathématique # méthode # procédure de preuve # représentation de connaissance # théorie de preuve

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

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540633853

ISBN : 3-540-63385-5

Collation : 24 cm#broch. ; Bibliogr.

Collection : Lecture notes in computer science

N° de collection : 1289

Localisation : Collection 1er étage

Numéro de congrès : 5

Année de la rencontre : 1997

Ville du congrès : Vienna

Pays du congrès : Autriche

Code ACM : F.2.2 ; F.4 ; I.2.3 ; I.2.4

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00021486 [disponible]
Z