Community Research and Development Information Service - CORDIS

Additional information

Authors: APT K R CENTRE FOR MATHEMATICS AND COMPUTER SCIENCE, AMSTERDAM (NL) PEDRESCHI D UNIVERSITA DI PISA, DIPARTIMENTO DI INFORMATICA (IT) , CENTRE FOR MATHEMATICS AND COMPUTER SCIENCE, AMSTERDAM (NL);UNIVERSITA DI PISA, DIPARTIMENTO DI INFORMATICA (IT)
Bibliographic Reference: EXTRACT: COMPUTATIONAL LOGIC : SYMPOSIUM PROCEEDINGS, BRUSSELS, NOVEMBER 1990, PP. 150-176 (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: 1989199121421 / Last updated on: 1992-04-06
Category: PUBLICATION
Original language: EN
Available languages: en
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top