skip to main content
Primo Search
Search in: Busca Geral

Integrating symbolic mathematical computation and artificial intelligence Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers

International Conference AISMC-2 (1994 Cambridge, England) Jacques Calmet; J. A Campbell 1940-

Berlin New York Springer-Verlag c1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.958 e.1 ) e outros locais(Acessar)

  • Título:
    Integrating symbolic mathematical computation and artificial intelligence Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
  • Autor: International Conference AISMC-2 (1994 Cambridge, England)
  • Jacques Calmet; J. A Campbell 1940-
  • Assuntos: Computer science -- Mathematics -- Congresses; Artificial intelligence -- Congresses; INTELIGÊNCIA ARTIFICIAL
  • Notas: Includes bibliographical references
  • Notas Locais: Lecture notes in computer science, 958
  • Descrição: Interactive theorem proving and computer algebra / J. Ueberberg -- A practical algorithm for geometric theorem proving / A. Rege, J. Canny -- Combining theorem proving and symbolic mathematical computing / K. Homann, J. Calmet -- Tools for solving problems in the scope of algebraic programming / Y.V. Kapitonova ... [et al.] -- Planning a proof of the intermediate value theorem / M. Chippendale -- A general technique for automatically optimizing progr ams through the use of proof plans / P. Madden, I. Green -- Datalog and TwoGroups and C++ / G. Butler -- Linear logic and real closed fields : a way to handle situations dynamically / P. Jumpertz -- A proof environment for arit hmetic with the omega rule / S. Baker, A. Smaill -- Using commutativity properties for controlling coercions / S.A. Missura, A. Weber -- Theories = signatures + propositions used as types / S.A. Missura -- The ideal structure o f Gröbner base computations / S. Collart, D. Mall -- Modeling cooperating agents scenarios by deductive planning methods and logical fiberings / J. Pfalzgraf, K. Stokkermans, U.C. Sigmund -- Propagation of mathematical constrai nts in subdefinite models / V. Telerman --Combining computer algebra and rule based reasoning / R. Bündgen -- Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory / S. Tsumoto, H. Tanaka -- Subsymbolic processing using adaptive algorithms / D.J. Nettleton, R. Garigliano -- An interpretation of the
    propositional Boolean algebra as a k-algebra effective calculus / L.M. Laita ... [et al.] -- Subdefinite computations and symbolic transformations in the UniCalc solver / A. Semenov, A. Babichev, A. Leschenko
  • Títulos relacionados: Série:Lecture notes in computer science 958
  • Editor: Berlin New York Springer-Verlag
  • Data de criação/publicação: c1995
  • Formato: x, 275 p. ill. 24 cm.
  • Idioma: Inglês

Buscando em bases de dados remotas. Favor aguardar.