Search alternatives:
mathematical science » mathematical sciences, mathematics science, mathematical geosciences
based mathematical » basic mathematical
Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- On the Complexity of Matrix Rank and Rigidity -- On the Usage of Clustering for Content Based Image Retrieval...”
Cover Image
Read Now

2
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... for logic programming based on first order linear temporal logic -- Logic Programming with Pseudo-Resolution...”
Cover Image
Read Now

3
Published 2019
Springer International Publishing
Table of Contents: “...Mathematics of Computing -- Information Systems -- Formal Languages -- Automata Theory -- Algebraic...”
Cover Image
Read Now

4
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... modal substructural logic based on labelled deductive systems -- Consistency checking of automata...”
Cover Image
Read Now

5
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- MegaLog — A platform for developing knowledge base management systems -- SPIKE, an automatic theorem...”
Cover Image
Read Now

6
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... and Knowledge Bases -- Coherent Composition of Distributed Knowledge-Bases through Abduction -- Tableaux...”
Cover Image
Read Now

7
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Heuristics in SEM -- A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical...”
Cover Image
Read Now

8
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... for RDF Knowledge Bases -- A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring...”