algorithme # langage formel # logique mathématique # structure de donnée # théorème de la preuve

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : États-Unis

Language : English

EAN13 : 9783540551249

ISBN : 3-540-55124-7

Collation : 24 cm#broch. ; Bibliogr.

Series : Lecture notes in computer science

Nb in series : 0572

Location : Collection 1er étage

Event Number : 1

Event Year : 1990

City of congres : Tubingen

Country of congres : Allemagne

ACM code : E.1 ; F.4.1 ; I.2.3

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies