OpenAlex
SETHEO goes software engineering: Application of ATP to software reuse
Work
Year: 1997
Type: book-chapter
Source: Lecture notes in computer science
Authors Bernd Fischer, Johann Schumann
Institutions Technische Universität Braunschweig, Technical University of Munich
Cites: 7
Cited by: 15
Related to: 10
FWCI: 2.335
Citation percentile (by year/subfield): 78.48
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Industry, innovation and infrastructure
Open Access status: closed