Sciweavers

10435 search results - page 239 / 2087
» Computational Biology and Language
Sort
View
CTRS
1987
15 years 10 months ago
Solving Goals in Equational Languages
Nachum Dershowitz, G. Sivakumar
CG
2008
Springer
15 years 8 months ago
GTQ: A Language and Tool for Game-Tree Analysis
Jónheiður Ísleifsdóttir, ...