Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming extending » programming building, programming learning, programming designing
structure computing » structural computing, structures competing, structure imputing
structure compiling » structure coupling, structure combining, structures comprising
extending semantic » extended semantic, extracting semantic, enhancing semantic
semantic classes » semantic losses, semantic classifier, semantic based
programming extending » programming building, programming learning, programming designing
structure computing » structural computing, structures competing, structure imputing
structure compiling » structure coupling, structure combining, structures comprising
extending semantic » extended semantic, extracting semantic, enhancing semantic
semantic classes » semantic losses, semantic classifier, semantic based
1
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS...
Publicado 2015
Table of Contents:
“... + Computation -- Compositional Metric Reasoning with Probabilistic Process Calculi -- Semantics of Programming...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2008
Table of Contents:
“...-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2005
Table of Contents:
“... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2005
Table of Contents:
“... Variants of DC -- Challenges in Increasing Tool Support for Programming -- A Predicate Spatial Logic...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2006
Table of Contents:
“... Induction for Natural Language -- Stochastic Analysis of Lexical and Semantic Enhanced Structural Language...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2005
Table of Contents:
“... Expression Data -- Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming -- Interactive...”Ligazón do recurso
Electrónico
eBook



