Journal of Automated Reasoning,volume 38,issue 1-3  (04-2014)

Period of time： 2014年1-3期

Publisher： Springer Publishing Company

Founded in： 1985

Total resources： 33

ISSN： 0168-7433

Subject： TP Automation Technology , Computer Technology

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Journal of Automated Reasoning,volume 38,issue 1-3

Menu

Preface

By Beckert Bernhard,Paulson Lawrence in (2007)

Journal of Automated Reasoning,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2007-04 , pp. 1-2

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Liberalized Variable Splitting

By Antonsen Roger,Waaler Arild in (2007)

Journal of Automated Reasoning,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2007-04 , pp. 3-30

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A Sound Framework for δ-Rule Variants in Free-Variable Semantic Tableaux

By Cantone Domenico,Nicolosi-Asmundo Marianna in (2007)

Journal of Automated Reasoning,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2007-04 , pp. 31-56

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Comparing Instance Generation Methods for Automated Reasoning

By Jacobs Swen,Waldmann Uwe in (2007)

Journal of Automated Reasoning,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2007-04 , pp. 57-78

Springer Publishing Company

Abstract Access to resources Recommend Favorite

The Disconnection Tableau Calculus

By Letz Reinhold,Stenz Gernot in (2007)

Journal of Automated Reasoning,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2007-04 , pp. 79-126

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Superposition-based Equality Handling for Analytic Tableaux

By Giese Martin in (2007)

Journal of Automated Reasoning,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2007-04 , pp. 127-153

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Efficient Query Processing with Reduced Implicate Tries

By Murray Neil,Rosenthal Erik in (2007)

Journal of Automated Reasoning,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2007-04 , pp. 155-172

Springer Publishing Company

Abstract Access to resources Recommend Favorite

An Optimal Decision Procedure for Right Propositional Neighborhood Logic

By Bresolin Davide,Montanari Angelo,Sciavicco Guido in (2007)

Journal of Automated Reasoning,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2007-04 , pp. 173-199

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Graph-based Decision for Gödel-Dummett Logics

By Larchey-Wendling Dominique in (2007)

Journal of Automated Reasoning,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2007-04 , pp. 201-225

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes

By Lutz Carsten,Miličić Maja in (2007)

Journal of Automated Reasoning,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2007-04 , pp. 227-259

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Previous 1 2 Next Display item(s) per page Total 11 item(s)