1
Published 2013
Table of Contents: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... to Hyperedge Replacement Grammars -- Labelled (Hyper)Graphs, Negotiations and the Naming Problem -- Abstracting...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods....
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Intelligence? -- Artificial Intelligence Is Engineering Intelligence – Why Should We Care About Natural...
View full text
Electronic eBook