En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Word equations and related topics :
1st international workshop iwwert'90#Oct. 1-3

Bookmarks Report an error
Congrès

Schulz, K. U. (Editor)

Springer-Verlag

1992

256 p.

978-3-540-55124-9

00014316

68P05 ; 68Q45 ; 68Q50 ; 68Q55

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

Number of copies : 1
No. Call n° Bar code Commentary
1 00014316

[available]
Bookmarks Report an error