Dick, A J J - Resultats de la cerca - CERN Document Server

Pàgina inicial > Resultats de la cerca: Dick, A J J

Cerca col·leccions:

Ordena'ls per:	Mostrar els resultats:	Format de visualizació:

1.

Automated equational reasoning and the Knuth-Bendix algorithm : an informal introduction / Dick, A J J
RAL-88-043. - 1988. - 19 p.
CERN library copies

Registre complet - Registres semblants

2.

The state of the art in software reuse / Dick, A J J ; Parsons, M S ; Lambert, S C
RAL-88-052. - 1988. - 9 p.
CERN library copies

Registre complet - Registres semblants

3.

ERIL - equational reasoning : an interactive laboratory / Dick, A J J
RAL-86-010. - 1985. - 34 p.
Fulltext - CERN library copies

Registre complet - Registres semblants

Vegeu també: autors amb noms similars
2	Dick, A
1	Dick, A J
3	Dick, A.
7	Dick, A.J.
1	Dick, Anthony
1	Dick, Auguste

Us interessa rebre alertes sobre nous resultats d'aquesta cerca?
Definiu una alerta personal via correu electrònic o subscribiu-vos al canal RSS.

No heu trobat el que estaveu cercant? Proveu la vostra cerca a:
Dick, A J J dins Amazon Dick, A J J dins CERN EDMS Dick, A J J dins CERN Intranet Dick, A J J dins CiteSeer Dick, A J J dins Google Books Dick, A J J dins Google Scholar Dick, A J J dins Google Web Dick, A J J dins IEC	Dick, A J J dins IHS Dick, A J J dins INSPIRE Dick, A J J dins ISO Dick, A J J dins KISS Books/Journals Dick, A J J dins KISS Preprints Dick, A J J dins NEBIS Dick, A J J dins SLAC Library Catalog Dick, A J J dins Scirus