|
SU180766A1
(enrdf_load_stackoverflow)
|
|
|
|
US10346145B2
(en)
|
|
Loop execution with predicate computing for dataflow machines
|
|
Paulson
|
|
A semantics-directed compiler generator |
|
ATE163479T1
(de)
|
|
Beleuchtungssystem zur inspektion von kontaktlinsen
|
|
KR870002461A
(ko)
|
|
광 라디에이터
|
|
JPH05257709A
(ja)
|
|
並列化判別方法およびそれを用いた並列化支援方法
|
|
SU140080A1
(enrdf_load_stackoverflow)
|
|
|
|
CN116602617A
(zh)
|
|
光纤记录系统
|
|
Steunebrink et al.
|
|
Towards an actual gödel machine implementation: A lesson in self-reflective systems |
|
SU260460A1
(enrdf_load_stackoverflow)
|
|
|
|
SU180764A1
(enrdf_load_stackoverflow)
|
|
|
|
Warshall et al.
|
|
A general-purpose table-driven compiler |
|
SU206627A1
(enrdf_load_stackoverflow)
|
|
|
|
SU311181A1
(enrdf_load_stackoverflow)
|
|
|
|
SU311163A1
(enrdf_load_stackoverflow)
|
|
|
|
SU1099416A1
(ru)
|
|
Оптическое развертывающее устройство
|
|
SU233612A1
(enrdf_load_stackoverflow)
|
|
|
|
Starodub et al.
|
|
Optoimmunosensors for analysis of specific and non-specific classes of immunoglobulins |
|
Guillemette et al.
|
|
Type-safe code transformations in haskell |
|
Cachera et al.
|
|
Laboratoire de l’Informatique du Parallélisme |
|
Faiman et al.
|
|
An optimizing Pascal compiler |
|
JPH05257708A
(ja)
|
|
コンパイラ
|
|
SU296283A1
(ru)
|
|
БСЕООЮЗНАЯ I|Пг\ТЕиТ1Ш-1ЕХНЯЧЕ(,К^ БИБЛИОТЕ:НА I
|
|
Zúniga et al.
|
|
A Correct Compiler from Mini-ML to a Big-Step Machine Verified Using Natural Semantics in Coq |
|
Ghasemizadeh
|
|
From answers to questions: the Q-centric model of intelligence |