Search alternatives:
translating » translational
Cover Image
Read Now

1
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...: Modal Reasoning by Translation and First-Order Resolution -- TANCS-2000 Results for DLP -- Evaluating...”
Cover Image
Read Now

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Semantics of constraint logic programs with bounded quantifiers -- Translating a modal language...”