Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

20 items matching your criteria

Sort by:
Filter By:
Subject: I.2.3 - Deduction and Theorem Proving
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1 2
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Automated Support for Enterprise Information ...
Research Article
Automated Support for Enterprise Information Systems
John Andrew Andrew Van Der Poll, Paula Kotzé, Willem Labuschagne
10.3217/jucs-010-11-1519
 28-11-2004
 Unique: 1086 | Total: 1423
 1519-1539
HTML
XML
PDF
SemanticMiner - Ontology-Based Knowledge ...
Research Article
SemanticMiner - Ontology-Based Knowledge Retrieval
Eddie Moench, Mike Ullrich, Hans-Peter Schnurr, Jürgen Angele
10.3217/jucs-009-07-0682
 28-07-2003
 Unique: 1085 | Total: 1422
 682-696
HTML
XML
PDF
A Practical Extension Mechanism for Decision ...
Research Article
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
Alessandro Armando, Silvio Ranise
10.3217/jucs-007-02-0124
 28-02-2001
 Unique: 1081 | Total: 1332
 124-140
HTML
XML
PDF
Uncertainty Propagation in Heterogeneous ...
Research Article
Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving
Stefan Ratschan
10.3217/jucs-006-09-0861
 28-09-2000
 Unique: 1005 | Total: 1199
 861-880
HTML
XML
PDF
A Decision Method for Duration Calculus
Research Article
A Decision Method for Duration Calculus
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
10.3217/jucs-005-11-0743
 28-11-1999
 Unique: 1180 | Total: 1438
 743-764
HTML
XML
PDF
Probabilistic Reasoning as Information ...
Research Article
Probabilistic Reasoning as Information Compression by Multiple Alignment, Unification and Search: An Introduction and Overview
J. Wolff
10.3217/jucs-005-07-0418
 28-07-1999
 Unique: 955 | Total: 1153
 418-462
HTML
XML
PDF
Proof Transformations from Search-Oriented ...
Research Article
Proof Transformations from Search-Oriented into Interaction-Oriented Tableau Calculi
Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert
10.3217/jucs-005-03-0113
 28-03-1999
 Unique: 1195 | Total: 1424
 113-134
HTML
XML
PDF
A Method for Proving Theorems in Differential ...
Research Article
A Method for Proving Theorems in Differential Geometry and Mechanics
Dongming Wang
10.3217/jucs-001-09-0658
 28-09-1995
 Unique: 1076 | Total: 1360
 658-673
HTML
XML
PDF
1 2

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK