Dick, A J J - Wyniki wyszukiwania - CERN Document Server

Główna > Wyniki wyszukiwania: Dick, A J J

Szukaj kolekcje:

Sortuj według:	Wyświetl rezultaty:	Format wyjściowy:

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

Rekord szczegółowy - Podobne rekordy

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

Rekord szczegółowy - Podobne rekordy

3.

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

Rekord szczegółowy - Podobne rekordy

Zobacz też: podobne nazwiska autorów
2	Dick, A
1	Dick, A J
3	Dick, A.
7	Dick, A.J.
1	Dick, Anthony
1	Dick, Auguste

Czy powiadomić Cię o nowych wynikach dla tego wyszukiwania?
Ustaw własny alert email lub zaprenumeruj RSS feed.

Jeżeli nie znaleziono tego czego szukasz, spróbuj szukać na innych serwerach:
Dick, A J J w Amazon Dick, A J J w CERN EDMS Dick, A J J w CERN Intranet Dick, A J J w CiteSeer Dick, A J J w Google Books Dick, A J J w Google Scholar Dick, A J J w Google Web Dick, A J J w IEC	Dick, A J J w IHS Dick, A J J w INSPIRE Dick, A J J w ISO Dick, A J J w KISS Books/Journals Dick, A J J w KISS Preprints Dick, A J J w NEBIS Dick, A J J w SLAC Library Catalog Dick, A J J w Scirus