Meta-programmming in logic : third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings /
Сохранить в:
Соавтор: | |
---|---|
Другие авторы: | |
Формат: | Материалы конференции |
Язык: | English |
Опубликовано: |
Berlin ; New York :
Springer-Verlag,
c1992.
|
Серии: | Lecture notes in computer science ;
649. |
Предметы: |
CARM 1 Store
Шифр: |
A2:AM07E0 C05492 |
---|---|
Копировать 1 | Доступно Поместить задолженность |