![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 24 matches
- 1996
- Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot:
On Theorem-Proving in Horn Theories with Built-in Algebras. AISMC 1996: 320-338 - Andrej Bauer, Edmund M. Clarke, Xudong Zhao:
Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. AISMC 1996: 21-37 - Frédéric Benhamou, Laurent Granvilliers:
Combining Local Consistency, Symbolic Rewriting and Interval Methods. AISMC 1996: 144-159 - Denis Bouhineau:
Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver. AISMC 1996: 274-288 - Reinhard Bündgen:
Proof Transformation for Non-Compatible Rewriting. AISMC 1996: 160-175 - Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra:
Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software. AISMC 1996: 38-48 - Anthony G. Cohn:
Calculi for Qualitative Spatial Reasoning. AISMC 1996: 124-143 - Fátima C. C. Dargam:
Compromised Updates in Labelled Databases. AISMC 1996: 49-70 - Rüdiger Dillmann, Holger Friedrich:
Programming by Demonstration: A Machine Learning Approach to Support Skill Acquisiton for Robots. AISMC 1996: 87-108 - Brian J. Dupée:
Measuring the Likely Effectiveness of Strategies. AISMC 1996: 191-196 - Elmar Eder:
Backward Reasoning in Systems with Cut. AISMC 1996: 339-353 - Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva:
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. AISMC 1996: 365-379 - Michael Joswig
:
Towards Modelling the Topology of Homogeneous Manifolds by Means of Symbolic Computation. AISMC 1996: 258-273 - Christopher Lynch, Polina Strogova:
PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented Groups. AISMC 1996: 176-190 - Jan A. Plaza:
Soundness and Completeness versus Lifting Property. AISMC 1996: 354-364 - Gunther Reinhart, Rolf Diesch, Michael R. Koch
:
Knowledge-Based Information Processing in Manufacturing Cells - The Present and the Future. AISMC 1996: 109-123 - Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías:
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. AISMC 1996: 71-86 - Robert Rodosek:
A New Approach on Solving 3-Satisfiability. AISMC 1996: 197-212 - Dana S. Scott:
Symbolic Computation and Teaching. AISMC 1996: 1-20 - Viorica Sofronie:
Towards a Sheaf Semantics for Cooperating Agents Scenarios. AISMC 1996: 289-304 - Vitaly Telerman, Dmitry Ushakov:
Data Types in Subdefinite Models. AISMC 1996: 305-319 - Johannes Ueberberg:
Interactive Theorem Proving and Finite Projective Planes. AISMC 1996: 240-257 - Dongming Wang:
Geometry Machines: From AI to SMC. AISMC 1996: 213-239 - Jacques Calmet, John A. Campbell, Jochen Pfalzgraf:
Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings. Lecture Notes in Computer Science 1138, Springer 1996, ISBN 3-540-61732-9 [contents]
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-05 13:41 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint