TY - GEN

AU - Olmer, Petr

AU - Štěpánek, Petr

TI - Logic Programming: Schema-Based Transformations of Logic Programs in λProlog

PB - Springer Berlin Heidelberg

SN - 0302-9743

PY - 2002

UR - http://slubdd.de/katalog?TN_libero_mab2

ER -