Search dblp for Publications

export results for "toc:db/conf/aisc/aisc2004.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.