Community Research and Development Information Service - CORDIS

Additional information

Authors: LIFSCHITZ V STANFORD UNIVERSITY, CALIFORNIA AND UNIVERSITY OF TEXAS, AUSTIN (US), STANFORD UNIVERSITY, CALIFORNIA AND UNIVERSITY OF TEXAS, AUSTIN (US)
Bibliographic Reference: EXTRACT: COMPUTATIONAL LOGIC : SYMPOSIUM PROCEEDINGS, BRUSSELS, NOVEMBER 1990, PP. 80-95 (EUR 13147) SPRINGER-VERLAG GMBH & CO. KG, POSTFACH 10 52 80, TIERGARTENSTRASSE 17, D-6900 HEIDELBERG 1 (DE) ISBN 3-540-53437-7
ISBN: ISBN 3-540-53437-7
Record Number: 1989199121415 / Last updated on: 1992-04-06
Category: PUBLICATION
Original language: EN
Available languages: en