Advertisement

Workshop 19: Symbolic Computation Abstract And-Parallel Machines

  • Nachum Dershowitz
  • Naomi Lindenstrauss
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1300)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Nachum Dershowitz
    • 1
  • Naomi Lindenstrauss
    • 1
  1. 1.Department of Computer ScienceThe Hebrew UniversityJerusalemIsrael

Personalised recommendations