Logičeskije osnovy cifrovoj vyčislitel'noj techniki /

Autor Papernov, Abram Aleksandrovič
Vydáno 1972

New Reordering Register Allocation Strategy for Warren Abstract Machine

Autor Jergová, Adriana
Vydáno 1992

Operational Semantic of Prolog Semantics of WAM

Autor Toman, David
Vydáno 1992

Linear logic in computer science /

Vydáno 2004