Skip to main content
SpringerLink
Log in
Book cover

International Conference on Automated Deduction

CADE 1988: 9th International Conference on Automated Deduction pp 738–739Cite as

m-NEVER system summary

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 310))

This is a preview of subscription content, log in via an institution.

Author information

Authors and Affiliations

  1. I.P. Sharp Associates Limited, 265 Carling Avenue, Suite 600, K1S 2E1, Ottawa, Ontario, Canada

    Bill Pase & Sentot Kromodimoeljo

Authors
  1. Bill Pase
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sentot Kromodimoeljo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ewing Lusk Ross Overbeek

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pase, B., Kromodimoeljo, S. (1988). m-NEVER system summary. In: Lusk, E., Overbeek, R. (eds) 9th International Conference on Automated Deduction. CADE 1988. Lecture Notes in Computer Science, vol 310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012874

Download citation

  • DOI: https://doi.org/10.1007/BFb0012874

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19343-2

  • Online ISBN: 978-3-540-39216-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation