![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/aisc/aisc2004.bht:"
@inproceedings{DBLP:conf/aisc/AransayBR04, author = {Jes{\'{u}}s Aransay and Clemens Ballarin and Julio Rubio}, editor = {Bruno Buchberger and John A. Campbell}, title = {Four Approaches to Automated Reasoning with Differential Algebraic Structures}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {222--235}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_19}, doi = {10.1007/978-3-540-30210-0\_19}, timestamp = {Tue, 17 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aisc/AransayBR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Buchberger04, author = {Bruno Buchberger}, editor = {Bruno Buchberger and John A. Campbell}, title = {Algorithm-Supported Mathematical Theory Exploration: {A} Personal View and Strategy}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {236--250}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_20}, doi = {10.1007/978-3-540-30210-0\_20}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Buchberger04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Bundy04, author = {Alan Bundy}, editor = {Bruno Buchberger and John A. Campbell}, title = {Planning and Patching Proof}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {26--37}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_4}, doi = {10.1007/978-3-540-30210-0\_4}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Bundy04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/DeharbeIR04, author = {David D{\'{e}}harbe and Abdessamad Imine and Silvio Ranise}, editor = {Bruno Buchberger and John A. Campbell}, title = {Abstraction-Driven Verification of Array Programs}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {271--275}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_23}, doi = {10.1007/978-3-540-30210-0\_23}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/DeharbeIR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/DolzmannG04, author = {Andreas Dolzmann and Lorenz A. Gilch}, editor = {Bruno Buchberger and John A. Campbell}, title = {Generic Hermitian Quantifier Elimination}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {80--93}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_8}, doi = {10.1007/978-3-540-30210-0\_8}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/DolzmannG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Gottfried04, author = {Bj{\"{o}}rn Gottfried}, editor = {Bruno Buchberger and John A. Campbell}, title = {Singularities in Qualitative Reasoning}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {276--280}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_24}, doi = {10.1007/978-3-540-30210-0\_24}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Gottfried04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/GranvilliersO04, author = {Laurent Granvilliers and Mina Ouabiba}, editor = {Bruno Buchberger and John A. Campbell}, title = {Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {118--131}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_11}, doi = {10.1007/978-3-540-30210-0\_11}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/GranvilliersO04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/HirokawaM04, author = {Nao Hirokawa and Aart Middeldorp}, editor = {Bruno Buchberger and John A. Campbell}, title = {Polynomial Interpretations with Negative Coefficients}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {185--198}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_16}, doi = {10.1007/978-3-540-30210-0\_16}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/HirokawaM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/IdaTBR04, author = {Tetsuo Ida and Dorin Tepeneu and Bruno Buchberger and Judit Robu}, editor = {Bruno Buchberger and John A. Campbell}, title = {Proving and Constraint Solving in Computational Origami}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {132--142}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_12}, doi = {10.1007/978-3-540-30210-0\_12}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/IdaTBR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/KelseyLR04, author = {Tom Kelsey and Steve Linton and Colva M. Roney{-}Dougal}, editor = {Bruno Buchberger and John A. Campbell}, title = {New Developments in Symmetry Breaking in Search Using Computational Group Theory}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {199--210}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_17}, doi = {10.1007/978-3-540-30210-0\_17}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/KelseyLR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/KhelfallahB04, author = {Mahat Khelfallah and Belaid Benhamou}, editor = {Bruno Buchberger and John A. Campbell}, title = {Two Revision Methods Based on Constraints: Application to a Flooding Problem}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {265--270}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_22}, doi = {10.1007/978-3-540-30210-0\_22}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/KhelfallahB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Kungas04, author = {Peep K{\"{u}}ngas}, editor = {Bruno Buchberger and John A. Campbell}, title = {Abstraction Within Partial Deduction for Linear Logic}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {52--65}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_6}, doi = {10.1007/978-3-540-30210-0\_6}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Kungas04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Kutsia04, author = {Temur Kutsia}, editor = {Bruno Buchberger and John A. Campbell}, title = {Solving Equations Involving Sequence Variables and Sequence Functions}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {157--170}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_14}, doi = {10.1007/978-3-540-30210-0\_14}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Kutsia04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Mechveliani04, author = {Serge Mechveliani}, editor = {Bruno Buchberger and John A. Campbell}, title = {From a Computer Algebra Library to a System with an Equational Prover}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {281--284}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_25}, doi = {10.1007/978-3-540-30210-0\_25}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Mechveliani04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Medina-BuloPAR04, author = {Inmaculada Medina{-}Bulo and Francisco Palomo{-}Lozano and Jos{\'{e}} A. Alonso{-}Jim{\'{e}}nez and Jos{\'{e}}{-}Luis Ruiz{-}Reina}, editor = {Bruno Buchberger and John A. Campbell}, title = {Verified Computer Algebra in Acl2. Gr{\"{o}}bner Bases Computation}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {171--184}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_15}, doi = {10.1007/978-3-540-30210-0\_15}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aisc/Medina-BuloPAR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Menai04, author = {Mohamed El{-}bachir Menai}, editor = {Bruno Buchberger and John A. Campbell}, title = {An Evolutionary Local Search Method for Incremental Satisfiability}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {143--156}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_13}, doi = {10.1007/978-3-540-30210-0\_13}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Menai04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Miasnikov04, author = {Alexei D. Miasnikov}, editor = {Bruno Buchberger and John A. Campbell}, title = {Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {211--221}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_18}, doi = {10.1007/978-3-540-30210-0\_18}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Miasnikov04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Roanes-LozanoLLLMR04, author = {Eugenio Roanes{-}Lozano and E. L{\'{o}}pez{-}Vidriero Jr. and Luis M. Laita and E. L{\'{o}}pez{-}Vidriero and Victor Maojo and Eugenio Roanes{-}Mac{\'{\i}}as}, editor = {Bruno Buchberger and John A. Campbell}, title = {An Expert System on Detection, Evaluation and Treatment of Hypertension}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {251--264}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_21}, doi = {10.1007/978-3-540-30210-0\_21}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Roanes-LozanoLLLMR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Rosenkranz04, author = {Markus Rosenkranz}, editor = {Bruno Buchberger and John A. Campbell}, title = {The Algorithmization of Physics: Math Between Science and Engineering}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {1--7}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_1}, doi = {10.1007/978-3-540-30210-0\_1}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Rosenkranz04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/ScharffB04, author = {Christelle Scharff and Leo Bachmair}, editor = {Bruno Buchberger and John A. Campbell}, title = {On the Combination of Congruence Closure and Completion}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {103--117}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_10}, doi = {10.1007/978-3-540-30210-0\_10}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/ScharffB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Schwichtenberg04, author = {Helmut Schwichtenberg}, editor = {Bruno Buchberger and John A. Campbell}, title = {Proof Search in Minimal Logic}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {15--25}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_3}, doi = {10.1007/978-3-540-30210-0\_3}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Schwichtenberg04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Stachniak04, author = {Zbigniew Stachniak}, editor = {Bruno Buchberger and John A. Campbell}, title = {Finite Algebras and {AI:} From Matrix Semantics to Stochastic Local Search}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {8--14}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_2}, doi = {10.1007/978-3-540-30210-0\_2}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Stachniak04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Tveretina04, author = {Olga Tveretina}, editor = {Bruno Buchberger and John A. Campbell}, title = {A Decision Procedure for Equality Logic with Uninterpreted Functions}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {66--79}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_7}, doi = {10.1007/978-3-540-30210-0\_7}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Tveretina04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Villadsen04, author = {J{\o}rgen Villadsen}, editor = {Bruno Buchberger and John A. Campbell}, title = {A Paraconsistent Higher Order Logic}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {38--51}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_5}, doi = {10.1007/978-3-540-30210-0\_5}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Villadsen04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/ZhangZ04, author = {Jian Zhang and Hantao Zhang}, editor = {Bruno Buchberger and John A. Campbell}, title = {Extending Finite Model Searching with Congruence Closure Computation}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {94--102}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_9}, doi = {10.1007/978-3-540-30210-0\_9}, timestamp = {Tue, 17 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aisc/ZhangZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aisc/2004, editor = {Bruno Buchberger and John A. Campbell}, title = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/b100361}, doi = {10.1007/B100361}, isbn = {3-540-23212-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.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.