@incollection{Ueberberg/95,
AUTHOR = {Ueberberg, Johannes},
TITLE = {Interactive theorem proving and computer algebra},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {1-9},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Rege-Canny/95,
AUTHOR = {Rege, Ashutosh and Canny, John},
TITLE = {A practical algorithm for geometric theorem proving},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {10-17},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Homann-Calmet/95,
AUTHOR = {Homann, Karsten and Calmet, Jacques},
TITLE = {Combining theorem proving and symbolic mathematical computing},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {18-29},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kapitonova-Letichevsky-Lvov-Volkov/95,
AUTHOR = {Kapitonova, Y.V. and Letichevsky, A.A. and L'vov, M.S. and Volkov, V.A.},
TITLE = {Tools for solving problems in the scope of algebraic programming},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {30-47},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chippendale/95,
AUTHOR = {Chippendale, Myles},
TITLE = {Planning a proof of the intermediate value theorem},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {48-63},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Madden-Green/95,
AUTHOR = {Madden, Peter and Green, Ian},
TITLE = {A general technique for automatically optimizing programs through the use of proof plans},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {64-79},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Butler/95a,
AUTHOR = {Butler, Greg},
TITLE = {Datalog and TwoGroups and C++},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {80-92},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jumpertz/95,
AUTHOR = {Jumpertz, Pierre},
TITLE = {Linear logic and real closed fields: A way to handle situations dynamically},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {93-114},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baker-Smaill/95,
AUTHOR = {Baker, Siami and Smaill, Alan},
TITLE = {A proof environment for arithmetic with the omega rule},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {115-130},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Missura-Weber/95,
AUTHOR = {Missura, Stephan A. and Weber, Andreas},
TITLE = {Using commutativity properties for controlling coercions},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {131-143},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Missura/95,
AUTHOR = {Missura, Stephan A.},
TITLE = {Theories = signatures + propositions used as types},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {144-155},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Collart-Mall/95,
AUTHOR = {Collart, St{\'e}phane and Mall, Daniel},
TITLE = {The ideal structure of Gr{\"o}bner base computations},
BOOKTITLE = {Proceedings of the Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {156-166},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=958&spage=156},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Pfalzgraf-Sigmund-Stokkermans/95,
AUTHOR = {Pfalzgraf, Jochen and Sigmund, Ute Cornelia and Stokkermans, Karel},
TITLE = {Modeling cooperating agents scenarios by deductive planning methods and logical fiberings},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {167-190},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Telerman/95,
AUTHOR = {Telerman, Vitaly},
TITLE = {Propagation of mathematical constraints in subdefinite models},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {191-208},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bundgen/95,
AUTHOR = {B{\"u}ndgen, Reinhard},
TITLE = {Combining computer algebra and rule based reasoning},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {209-223},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Tsumoto-Tanaka/95,
AUTHOR = {Tsumoto, Shusako and Tanaka, Hiroshi},
TITLE = {Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {224-243},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Nettleton-Garigliano/95,
AUTHOR = {Nettleton, David J. and Garigliano, Roberto},
TITLE = {Subsymbolic processing using adaptive algorithms},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {244-254},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Laita-Ledesma-Roanes-Lozano-Roanes-Macias/95,
AUTHOR = {Laita, Luis M. and Ledesma, Luis de and Roanes-Lozano, Eugenio and Roanes-Mac{\'{i}}as, Eugenio},
TITLE = {An interpretation of the propositional Boolean algebra as a $k$-algebra. effective calculus},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {255-263},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Semenov-Babichev-Leshchenko/95,
AUTHOR = {Semenov, Alexander and Babichev, Alexander and Leshchenko, Alexander},
TITLE = {Subdefinite computations and symbolic transformations in the UniCalc solver},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {264-275},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}