Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/jar/jar6.bht:"
@article{DBLP:journals/jar/AnantharamanH90, author = {Siva Anantharaman and Jieh Hsiang}, title = {Automated Proofs of the Moufang Identities in Alternative Rings}, journal = {J. Autom. Reason.}, volume = {6}, number = {1}, pages = {79--109}, year = {1990}, url = {https://doi.org/10.1007/BF00302643}, doi = {10.1007/BF00302643}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/AnantharamanH90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/AuffrayEH90, author = {Yves Auffray and Patrice Enjalbert and Jean{-}Jacques H{\'{e}}brard}, title = {Strategies for Modal Resolution: Results and Problems}, journal = {J. Autom. Reason.}, volume = {6}, number = {1}, pages = {1--38}, year = {1990}, url = {https://doi.org/10.1007/BF00302639}, doi = {10.1007/BF00302639}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/AuffrayEH90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Bibel90, author = {Wolfgang Bibel}, title = {Short Proofs of the Pigeonhole Formulas Based on the Connection Method}, journal = {J. Autom. Reason.}, volume = {6}, number = {3}, pages = {287--297}, year = {1990}, url = {https://doi.org/10.1007/BF00244489}, doi = {10.1007/BF00244489}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Bibel90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Bledsoe90, author = {W. W. Bledsoe}, title = {Challenge Problems in Elementary Calculus}, journal = {J. Autom. Reason.}, volume = {6}, number = {3}, pages = {341--359}, year = {1990}, url = {https://doi.org/10.1007/BF00244493}, doi = {10.1007/BF00244493}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Bledsoe90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BuningLS90, author = {Hans Kleine{ }B{\"{u}}ning and Ulrich L{\"{o}}wen and Stefan Schmitgen}, title = {Equivalence of Propositional Prolog Programs}, journal = {J. Autom. Reason.}, volume = {6}, number = {3}, pages = {319--335}, year = {1990}, url = {https://doi.org/10.1007/BF00244491}, doi = {10.1007/BF00244491}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BuningLS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/CantoneC90, author = {Domenico Cantone and Vincenzo Cutello}, title = {Decision Procedures for Elementary Sublanguages of Set Theory}, journal = {J. Autom. Reason.}, volume = {6}, number = {2}, pages = {189--201}, year = {1990}, url = {https://doi.org/10.1007/BF00245818}, doi = {10.1007/BF00245818}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/CantoneC90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/CantoneOP90, author = {Domenico Cantone and Eugenio G. Omodeo and Alberto Policriti}, title = {The Automation of Syllogistic}, journal = {J. Autom. Reason.}, volume = {6}, number = {2}, pages = {173--187}, year = {1990}, url = {https://doi.org/10.1007/BF00245817}, doi = {10.1007/BF00245817}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/CantoneOP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/FerroG90, author = {Giuseppa Carr{\`{a}} Ferro and Giovanni Gallo}, title = {A Procedure to Prove Statements in Differential Geometry}, journal = {J. Autom. Reason.}, volume = {6}, number = {2}, pages = {203--209}, year = {1990}, url = {https://doi.org/10.1007/BF00245819}, doi = {10.1007/BF00245819}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/FerroG90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Gao90, author = {Xiao{-}Shan Gao}, title = {Transcendental Functions and Mechanical Theorem Proving in Elemantary Geometries}, journal = {J. Autom. Reason.}, volume = {6}, number = {4}, pages = {403--417}, year = {1990}, url = {https://doi.org/10.1007/BF00244356}, doi = {10.1007/BF00244356}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Gao90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Lescanne90, author = {Pierre Lescanne}, title = {On the Recursive Decomposition Ordering with Lexicographical Status and Other Related Orderings}, journal = {J. Autom. Reason.}, volume = {6}, number = {1}, pages = {39--49}, year = {1990}, url = {https://doi.org/10.1007/BF00302640}, doi = {10.1007/BF00302640}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Lescanne90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/LuS90, author = {James J. Lu and V. S. Subrahmanian}, title = {Protected Completions of First-Order General Logic Programs}, journal = {J. Autom. Reason.}, volume = {6}, number = {2}, pages = {147--172}, year = {1990}, url = {https://doi.org/10.1007/BF00245816}, doi = {10.1007/BF00245816}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/LuS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Patel-Schneider90, author = {Peter F. Patel{-}Schneider}, title = {A Decidable First-Order Logic for Knowldge Representation}, journal = {J. Autom. Reason.}, volume = {6}, number = {4}, pages = {361--388}, year = {1990}, url = {https://doi.org/10.1007/BF00244354}, doi = {10.1007/BF00244354}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Patel-Schneider90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Piazza90, author = {Joseph S. di Piazza}, title = {Interweaving Knowledge Extracting, Organizing and Evaluating: {A} Concrete Design for Preventing Logic and Structure Bugs while Interviewing Experts}, journal = {J. Autom. Reason.}, volume = {6}, number = {3}, pages = {299--317}, year = {1990}, url = {https://doi.org/10.1007/BF00244490}, doi = {10.1007/BF00244490}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Piazza90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Plaisted90, author = {David A. Plaisted}, title = {A Sequent-Style Model Elimination Strategy and a Positive Refinement}, journal = {J. Autom. Reason.}, volume = {6}, number = {4}, pages = {389--402}, year = {1990}, url = {https://doi.org/10.1007/BF00244355}, doi = {10.1007/BF00244355}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Plaisted90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Pollock90, author = {John L. Pollock}, title = {Interest Driven Suppositional Reasoning}, journal = {J. Autom. Reason.}, volume = {6}, number = {4}, pages = {419--461}, year = {1990}, url = {https://doi.org/10.1007/BF00244357}, doi = {10.1007/BF00244357}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Pollock90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/RoachSW90, author = {John W. Roach and R. Sundararajan and Layne T. Watson}, title = {Replacing Unification by Constraint Satisfaction to Improve Logic Program Expressiveness}, journal = {J. Autom. Reason.}, volume = {6}, number = {1}, pages = {51--75}, year = {1990}, url = {https://doi.org/10.1007/BF00302641}, doi = {10.1007/BF00302641}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/RoachSW90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/StaplesR90, author = {John Staples and Peter J. Robinson}, title = {Structure Sharing for Quantified Terms: Fundamentals}, journal = {J. Autom. Reason.}, volume = {6}, number = {2}, pages = {115--145}, year = {1990}, url = {https://doi.org/10.1007/BF00245815}, doi = {10.1007/BF00245815}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/StaplesR90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Stokes90, author = {Timothy Stokes}, title = {Gr{\"{o}}bner Bases in Exterior Algebra}, journal = {J. Autom. Reason.}, volume = {6}, number = {3}, pages = {233--250}, year = {1990}, url = {https://doi.org/10.1007/BF00244487}, doi = {10.1007/BF00244487}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Stokes90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Winker90, author = {Steve Winker}, title = {Robbins Algebra: Conditions That Make a Near-Boolean Algebra Boolean}, journal = {J. Autom. Reason.}, volume = {6}, number = {4}, pages = {465--489}, year = {1990}, url = {https://doi.org/10.1007/BF00244359}, doi = {10.1007/BF00244359}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Winker90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Wos90, author = {Larry Wos}, title = {The Problem of Choosing between Logic Programming and General-Purpose Automated Reasoning}, journal = {J. Autom. Reason.}, volume = {6}, number = {1}, pages = {77--78}, year = {1990}, url = {https://doi.org/10.1007/BF00302642}, doi = {10.1007/BF00302642}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Wos90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Wos90a, author = {Larry Wos}, title = {The Problem of Finding a Mapping between Clause Representation and Natural-Deduction Representation}, journal = {J. Autom. Reason.}, volume = {6}, number = {2}, pages = {211--212}, year = {1990}, url = {https://doi.org/10.1007/BF00245820}, doi = {10.1007/BF00245820}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Wos90a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Wos90b, author = {Larry Wos}, title = {Meeting the Challenge of Fifty Years of Logic}, journal = {J. Autom. Reason.}, volume = {6}, number = {2}, pages = {213--232}, year = {1990}, url = {https://doi.org/10.1007/BF00245821}, doi = {10.1007/BF00245821}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Wos90b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Wos90c, author = {Larry Wos}, title = {The Problem of Finding a Semantic Strategy for Focusing Inference Rules}, journal = {J. Autom. Reason.}, volume = {6}, number = {3}, pages = {337--339}, year = {1990}, url = {https://doi.org/10.1007/BF00244492}, doi = {10.1007/BF00244492}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Wos90c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Wos90d, author = {Larry Wos}, title = {The Problem of Choosing between Predicate and Function Notation for Problem Representation}, journal = {J. Autom. Reason.}, volume = {6}, number = {4}, pages = {463--464}, year = {1990}, url = {https://doi.org/10.1007/BF00244358}, doi = {10.1007/BF00244358}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Wos90d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Yu90, author = {Yuan Yu}, title = {Computer Proofs in Group Theory}, journal = {J. Autom. Reason.}, volume = {6}, number = {3}, pages = {251--286}, year = {1990}, url = {https://doi.org/10.1007/BF00244488}, doi = {10.1007/BF00244488}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Yu90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.