m

F Nous contacter

0
     
Congrès

H 0 8th international conference on automated deduction :
proceedings held at st. catherine college#July 27 - Aug. 1

Siekmann, Jorg H. (Editeur)

Springer-Verlag

1986

708 p.

978-3-540-16780-8

00013955

68Q60 ; 68T15

déduction et preuve de théorème # grammaire et autres systèmes de reécriture # logique mathématique # specification # vérification et raisonnement sur les programmes

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

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540167808

ISBN : 3-540-16780-3

Collation : ix#24 cm#broch. ; Bibliogr.

Collection : Lecture notes in computer science

N° de collection : 0230

Localisation : Collection 1er étage

Année de la rencontre : 1986

Ville du congrès : Oxford

Pays du congrès : Grande-Bretagne

Code ACM : F.3.1 ; F.4.1 ; F.4.2 ; I.2.3 ; I.2.4

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

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