Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/aisc/1994,
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60156-2},
  doi          = {10.1007/3-540-60156-2},
  isbn         = {3-540-60156-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/BakerS94,
  author       = {Siani Baker and
                  Alan Smaill},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {A Proof Environment for Arithmetic with the Omega Rule},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {115--130},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_9},
  doi          = {10.1007/3-540-60156-2\_9},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/BakerS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Bundgen94,
  author       = {Reinhard B{\"{u}}ndgen},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Combining Computer Algebra and Rule Based Reasoning},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {209--223},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_15},
  doi          = {10.1007/3-540-60156-2\_15},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Bundgen94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Butler94,
  author       = {Gregory Butler},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Datalog and TwoGroups and {C++}},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {80--92},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_7},
  doi          = {10.1007/3-540-60156-2\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Butler94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Chippendale94,
  author       = {Myles Chippendale},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Planning a Proof of the Intermediate Value Theorem},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {48--63},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_5},
  doi          = {10.1007/3-540-60156-2\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Chippendale94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/CollartM94,
  author       = {St{\'{e}}phane Collart and
                  Daniel Mall},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {The Ideal Structure of Gr{\"{o}}bner Base Computations},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {156--166},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_12},
  doi          = {10.1007/3-540-60156-2\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/CollartM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/HomannC94,
  author       = {Karsten Homann and
                  Jacques Calmet},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Combining Theorem Proving and Symbolic Mathematical Computing},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {18--29},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_3},
  doi          = {10.1007/3-540-60156-2\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/HomannC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Jumpertz94,
  author       = {Pierre Jumpertz},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Linear Logic and Real Closed Fields: a Way to Handle Situations Dynamically},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {93--114},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_8},
  doi          = {10.1007/3-540-60156-2\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Jumpertz94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/KapitonovaLVL94,
  author       = {Y. V. Kapitonova and
                  Alexander A. Letichevsky and
                  Vladislav A. Volkov and
                  M. S. Lvov},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Tools for Solving Problems in the Scope of Algebraic Programming},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {30--47},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_4},
  doi          = {10.1007/3-540-60156-2\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/KapitonovaLVL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/LaitaLRR94,
  author       = {Luis M. Laita and
                  Luis de Ledesma and
                  Eugenio Roanes{-}Lozano and
                  Eugenio Roanes{-}Mac{\'{\i}}as},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {An Interpretation of the Propositional Boolean Algebra as k-algebra.
                  Effective Calculus},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {255--263},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_18},
  doi          = {10.1007/3-540-60156-2\_18},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/LaitaLRR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/MaddenG94,
  author       = {Peter Madden and
                  Ian Green},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {A General Technique for Automatically Optimizing Programs Through
                  the Use of Proof Plans},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {64--79},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_6},
  doi          = {10.1007/3-540-60156-2\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/MaddenG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Missura94,
  author       = {Stephan A. Missura},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Theories = Signatures + Propositions Used as Types},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {144--155},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_11},
  doi          = {10.1007/3-540-60156-2\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Missura94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/MissuraW94,
  author       = {Stephan A. Missura and
                  Andreas Weber},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Using Commutativity Properties for Controlling Coercions},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {131--143},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_10},
  doi          = {10.1007/3-540-60156-2\_10},
  timestamp    = {Mon, 17 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/MissuraW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/NettletonG94,
  author       = {David J. Nettleton and
                  Roberto Garigliano},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Subsymbolic Processing using Adaptive Algorithms},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {244--254},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_17},
  doi          = {10.1007/3-540-60156-2\_17},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/NettletonG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/PfalzgrafSS94,
  author       = {Jochen Pfalzgraf and
                  Ute Cornelia Sigmund and
                  Karel Stokkermans},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Modeling Cooperating Agents Scenarios by Deductive Planning Methods
                  and Logical Fiberings},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {167--190},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_13},
  doi          = {10.1007/3-540-60156-2\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/PfalzgrafSS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/RegeC94,
  author       = {Ashutosh Rege and
                  John F. Canny},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {A Practical Algorithm for Geometric Theorem Proving},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {10--17},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_2},
  doi          = {10.1007/3-540-60156-2\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/RegeC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/SemenovBL94,
  author       = {Alexander L. Semenov and
                  Alexander B. Babichev and
                  Alexander S. Leshchenko},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Subdefinite Computations and Symbolic Transformations in the UniCalc
                  Solver},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {264--275},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_19},
  doi          = {10.1007/3-540-60156-2\_19},
  timestamp    = {Fri, 29 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/SemenovBL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Telerman94,
  author       = {Vitaly Telerman},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Propagation of Mathematical Constraints in Subdefinite Models},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {191--208},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_14},
  doi          = {10.1007/3-540-60156-2\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Telerman94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/TsumotoT94,
  author       = {Shusaku Tsumoto and
                  Hiroshi Tanaka},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Algebraic Specification of Empirical Inductive Learning Methods based
                  on Rough Sets and Matroid Theory},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {224--243},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_16},
  doi          = {10.1007/3-540-60156-2\_16},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/TsumotoT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Ueberberg94,
  author       = {Johannes Ueberberg},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Interactive Theorem Proving and Computer Algebra},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {1--9},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_1},
  doi          = {10.1007/3-540-60156-2\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Ueberberg94.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.