1
出版 2005
书本目录: ... of Deterministic Tree Languages -- Constructive Reasoning and Computational Mathematics -- Complexity...
获取全文
电子 电子书
2
出版 2010
书本目录: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
获取全文
电子 电子书
3
出版 2006
书本目录: ... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...
获取全文
电子 电子书
4
出版 2015
书本目录: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
获取全文
电子 电子书
5
出版 2006
书本目录: ...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...
获取全文
电子 电子书
6
主题: ...Programming languages (Electronic computers)....
获取全文
电子 电子书
7
出版 2014
书本目录: ... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...
获取全文
电子 电子书
8
出版 2005
书本目录: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
获取全文
电子 电子书
9
出版 2008
书本目录: ... for Semantic Web Reasoning -- A Core Ontology for Business Process Analysis -- Applications -- Assisting...
获取全文
电子 电子书