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

Autor Papernov, Abram Aleksandrovič
Vydáno 1972

Úvod do logiky a logického programování. [1.-8. a cvičení 1-12]

Autor Popelínský, Lubomír
Vydáno 2007

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