Volltext-Downloads (blau) und Frontdoor-Views (grau)
  • search hit 2 of 2
Back to Result List

A Verification of Extensible Record Types

Export metadata

Additional Services

Share in Twitter Search Google Scholar Check availability

Statistics

Show usage statistics
Metadaten
Document Type:Conference Object
Language:English
Author:Andreas V. Hense, Gert Smolka
Parent Title (English):Shi (Ed.): Automated Reasoning. Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
First Page:137
Last Page:164
ISBN:0-444-89876-X
Publication year:1992
Dewey Decimal Classification (DDC):0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Entry in this database:2016/08/11